DMCA

AVoCS 2006 Multi-Object Checking Counterexamples

by Maik Kollmann , Yuen Man Hon