Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings Shankar Natarajan Heftet / 2008 / Engelsk
Automated Reasoning Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings Furbach Ulrich Heftet / 2006 / Engelsk
