Natarajan Shankar Jim Woodcock Verified Software: Theories, Tools, Experiments, Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings 5295 2008 978-3-540-87872-8 Lecture Notes in Computer Science Springer VSTTE db/conf/vstte/vstte2008.html