DMCA

A Survey of Automated Techniques for Formal Software Verification (2008)

by Vijay D'Silva , Daniel Kroening , Georg Weissenbacher
Venue: TRANSACTIONS ON CAD
Citations:48 - 5 self