by JimWoodcock (Editor), NatarajanShankar (Editor)
This volume contains the proceedings of the second working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2008, held in Toronto, Canada, in October 2008.
Format: Paperback
Pages: 263
Edition: illustrated edition
Publisher: Springer
Published: 22 Sep 2008
ISBN 10: 3540878726
ISBN 13: 9783540878728