Slam and Static Driver Verifier: Technology transfer of formal methods inside Microsoft. In (2004)

by Thomas Ball, Byron Cook, Vladimir Levin, Sriram K Rajamani
Venue:IFM,