Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2294)
Included in the following conference series:
Conference proceedings info: VMCAI 2002.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents(22 papers)
-
Security and Protocols
-
Temporal Logics and Systems
Other volumes
-
Verification, Model Checking, and Abstract Interpretation
Editors and Affiliations
-
Dipartimento di Informatica, Università Ca’ Foscari di Venezia, Mestre-Venezia, Italy
Agostino Cortesi
Bibliographic Information
Book Title: Verification, Model Checking, and Abstract Interpretation
Book Subtitle: Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers
Editors: Agostino Cortesi
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-47813-2
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 2002
Softcover ISBN: 978-3-540-43631-7Published: 24 April 2002
eBook ISBN: 978-3-540-47813-3Published: 31 July 2003
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: VIII, 331
Topics: Theory of Computation, Software Engineering/Programming and Operating Systems, Computer Science, general, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Software Engineering