Verified software : theories, tools, experiments : third international conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010 : proceedings /

Saved in:

Bibliographic Details
Meeting name:	VSTTE (Conference) (3rd : 2010 : Edinburgh, Scotland)
Imprint:	Berlin : Springer, 2010.
Description:	1 online resource (x, 215 p.) : ill.
Language:	English
Series:	Lecture notes in computer science, 0302-9743 ; 6217 LNCS sublibrary. SL 2, Programming and software engineering Lecture notes in computer science ; 6217. LNCS sublibrary. SL 2, Programming and software engineering.
Subject:	Computer programs -- Verification -- Congresses. Computer software -- Testing. Computer software -- Verification. Conference papers and proceedings.
Format:	E-Resource Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/8866077

Hidden Bibliographic Details
Varying Form of Title:	VSTTE 2010
Other authors / contributors:	Leavens, Gary T. O'Hearn, Peter. Rajamani, Sriram K., 1970-
ISBN:	9783642150579 3642150578
Notes:	Includes bibliographical references and index.
Other form:	Print version: VSTTE 2010 (2010 : Edinburgh, Scotland). Verified software. Berlin : Springer, 2010 9783642150562

Similar Items