DMCA

Explaining abstract counterexamples (2004)

Cached

Download Links

by Sagar Chaki , Alex Groce , Ofer Strichman
Venue:In Proc. of the International Symposium on Foundations of Software Engineering
Citations:33 - 6 self