Verified Software: Theories, Tools, Experiments: Second Inteational Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings (Lecture .. / Programming and Software Engineering)
Hardcover: 263 pages
Publisher: Springer (September 22, 2008)
Language: English
ISBN-10: 3540878726
Wow! eBook

