2 options
Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings / Bernhard Steffen, Giorgio Levi (eds).
LIBRA QA76.76.V47 V53 2004
Available from offsite location
LIBRA Q341 .P7 2004
Available from offsite location
- Format:
- Book
- Conference/Event
- Conference Name:
- VMCAI 2004 (2004 : Venice, Italy)
- ACM Symposium on Principles of Programming Languages (31st : 2004 : Venice, Italy)
- Series:
- Lecture notes in computer science 0302-9743 ; 2937.
- Lecture notes in computer science, 0302-9743 ; 2937
- Language:
- English
- Subjects (All):
- Computer programs--Verification--Congresses.
- Computer programs.
- Computer programs--Verification.
- Genre:
- Conference papers and proceedings.
- Physical Description:
- xi, 324 pages : illustrations ; 24 cm.
- Place of Publication:
- Berlin ; New York : Springer, [2004]
- Summary:
- This book constitutes the refereed proceedings of the 5th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2004, held in Venice, Italy in January 2004. The 22 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from 68 submissions. The papers are organized in topical sections on security, formal methods, model checking, software checking, liveness and completeness, and miscellaneous.
- Notes:
- Held in conjunction with POPL 2004, the 31st annual Symposium on Principles of Programming Languages, Jan. 14-16, 2004--Pref.
- Includes bibliographical references and index.
- ISBN:
- 3540208038
- OCLC:
- 54400193
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.