Abstraction for falsification (2005)

Cached

Download Links

by Thomas Ball , Orna Kupferman , Greta Yorsh
Venue:In Proceedings of Computer Aided Verification (CAV 2005), volume 3576 of LNCS
Citations:20 - 2 self