Verification, model checking, and abstract interpretation : 11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 : proceedings /

Bibliographic Details
Corporate Author:	VMCAI 2010 Madrid, Spain
Other Authors:	Barthe, Gilles, 1967-, Hermenegildo, Manuel
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [2010]
Series:	Lecture notes in computer science ; 5944. LNCS sublibrary. Theoretical computer science and general issues.
Subjects:	Computer programs > Verification > Congresses. Electronic books.
Online Access:	Connect to the full text of this electronic book

Available Online