Cover Image

Verification, model checking, and abstract interpretation : 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings /

Show other versions (1)
Bibliographic Details
Corporate Authors: VMCAI 2005 Paris, France, SpringerLink (Online service)
Other Authors: Cousot, Radhia
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, [2005]
Series:Lecture notes in computer science. 3385.
Subjects:
Computer programs > Verification > Congresses.
Logiciels > Vérification > Congrès.
Model-checking (Informatique)
Vérification de logiciels.
Electronic books.
Online Access:Connect to the full text of this electronic book
Publisher description

Internet

Connect to the full text of this electronic book
Publisher description

Available Online

Holdings details from Available Online
Call Number: QA76.76.V47 V53 2005eb
 
Call Number Status Get It
QA76.76.V47 V53 2005eb Available