Verified Software : Theories, Tools, Experiments
Subtitle: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings
Publisher: Springer London, Limited
Published: 2010
Language: eng
Number of pages: 217
ISBN-13: 9783642150579