Cover Image

Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings /

Bibliographic Details
Corporate Authors: VMCAI 2004 Venice, Italy, ACM Symposium on Principles of Programming Languages
Other Authors: Steffen, Bernhard, Levi, G. (Giorgio), 1942-
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, [2004]
Series:Lecture notes in computer science. 2937.
Subjects:
Computer programs > Verification > Congresses.
Online Access:http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2937
Description
Item Description:Held in conjunction with POPL 2004, the 31st annual Symposium on Principles of Programming Languages, Jan. 14-16, 2004--Pref.
Physical Description:xi, 324 pages : illustrations ; 24 cm.
Also available via the World Wide Web.
Bibliography:Includes bibliographical references and index.
ISBN:3540208038 (alk. paper)
ISSN:0302-9743 ;