Whodunit? Causal analysis for counterexamples

Cached

Download Links

by Chao Wang , Zijiang Yang , Aarti Gupta
Venue:In International Symposium on Automated Technology for Verification and Analysis (ATVA’06), volume 4218 of LNCS
Citations:6 - 1 self