Cover Image

Verification, model checking, and abstract interpretation : 4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings /

Bibliographic Details
Corporate Author: VMCAI 2003 New York, N.Y.
Other Authors: Zuck, Lenore D., 1958-
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer, [2003]
Series:Lecture notes in computer science ; 2575.
Subjects:
Computer programs > Verification > Congresses.

Remote Storage

Holdings details from Remote Storage
Call Number: QA76.76.V47 V53 2003
 
Call Number Status Get It
QA76.76.V47 V53 2003 Available