DMCA

SLAM and static driver verifier: Technology transfer of formal methods inside Microsoft (2004)

Cached

Download Links

by Thomas Ball , Byron Cook , Vladimir Levin , Sriram K. Rajamani
Venue:In: IFM. (2004
Citations:93 - 7 self