SLAM and Static Driver Verifier: Technology transfer of formal methods inside Microsoft (2004)

by T Ball, B Cook, V Levin, S Rajamani
Venue:In Proc. IFM, LNCS 2999