Formal verification of object-oriented software : international conference, FoVeOOS 2010, Paris, France, June 28-30, 2010 : revised selected papers /

Saved in:

Bibliographic Details
Meeting name:	FoVeOOS (Conference) (2010 : Paris, France)
Imprint:	Berlin : Springer, 2011.
Description:	1 online resource (x, 197 pages) : illustrations.
Language:	English
Series:	Lecture notes in computer science, 0302-9743 ; 6528 Lecture notes in computer science ; 6528.
Subject:	Computer software -- Verification -- Congresses. Object-oriented methods (Computer science) -- Congresses. Formal methods (Computer science) -- Congresses. Computer software -- Verification. Formal methods (Computer science) Object-oriented methods (Computer science) Conference papers and proceedings.
Format:	E-Resource Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/11075303

Hidden Bibliographic Details
Other authors / contributors:	Beckert, Bernhard. Marche, Claude.
ISBN:	9783642180705 3642180701
Notes:	Includes bibliographical references. Print version record.
Other form:	Print version: Formal verification of object-oriented software. Berlin : Springer, 2011 9783642180699

Similar Items