Verified software
Subtitle: theories, tools, experiments : second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 : proceedings
By: Natarajan Shankar, Jim Woodcock (eds.).
Contributors: Shankar, N.; Woodcock, Jim.
Series: Lecture notes in computer science -- 5295
Publisher: Springer
Published: 2008
Place of publication: New York
Language: eng
Number of pages: 262
ISBN-13: 9783540878728
Subjects: Computer programs -- Verification -- Congresses
Genres: Congresses
Other titles: VSTTE 2008
Notes: Includes bibliographical references and index.