Verified Software : theories, tools, experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005 : Revised Selected Papers and Discussions /

Bibliographic Details
Corporate Authors:	VSTTE (Conference) Zurich, Switzerland), SpringerLink (Online service)
Other Authors:	Meyer, Bertrand, 1950-, Woodcock, Jim
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [2008]
Series:	LNCS sublibrary. Programming and software engineering. Lecture notes in computer science ; 4171.
Subjects:	Compilers (Computer programs) > Congresses. Computer software > Quality control > Congresses. Computer software > Verification > Congresses. Electronic books.
Online Access:	Connect to the full text of this electronic book

Available Online