Verified software
Subtitle: theories, tools, experiments : third international conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010 : proceedings
By: Gary T. Leavens, Peter O'Hearn, Sriram K. Rajamani (eds.).
Contributors: Leavens, Gary T.; O'Hearn, Peter W. (Peter William), 1963-; Rajamani, Sriram K., 1970-
Series: Lecture notes in computer science -- 6217; LNCS sublibrary: SL 2-programming and software engineering
Publisher: Springer
Published: 2010
Place of publication: Berlin; New York
Language: eng
Number of pages: 215
ISBN-13: 9783642150562
Subjects: Programmverifikation; Formale Methode; Programmtest; Congresses; Verification; Computer programs; Software; Verifikation; Programmanalyse
Notes: Includes bibliographical references and index.

Also issued online.