Sanity Checks in Formal Verification (2006)

Cached

Download Links

by Orna Kupferman
Venue:In Proc. of CONCUR’06, LNCS
Citations:13 - 3 self