Markus Aderhold, Serge Autexier, Heiko Mantel, editors, 6th International Verification Workshop, VERIFY-2010, Edinburgh, UK, July 20-21, 2010. Volume 3 of EPiC Series, EasyChair, 2012. [doi]
Conference: cade2012
No references recorded for this publication.
No citations of this publication recorded.