UID:
almahu_9947364510802882
Format:
X, 457 p. 111 illus.
,
online resource.
ISBN:
9783642279409
Series Statement:
Lecture Notes in Computer Science, 7148
Content:
This book constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012, held in Philadelphia, PA, USA, in January 2012, co-located with the Symposium on Principles of Programming Languages, POPL 2012. The 26 revised full papers presented were carefully reviewed and selected from 70 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation, static analysis, deductive methods, program certification, debugging techniques, abstract domains, type systems, and optimization.
In:
Springer eBooks
Additional Edition:
Printed edition: ISBN 9783642279393
Language:
English
Subjects:
Computer Science
Keywords:
Konferenzschrift
DOI:
10.1007/978-3-642-27940-9
URL:
http://dx.doi.org/10.1007/978-3-642-27940-9
URL:
Volltext
(lizenzpflichtig)
Bookmarklink
