Description: Verification, model checking, and abstract interpretation : 7th international conference, VMCAI 2006, Charleston, SC, USA, january 8-10, 2006 : proceedings / [edited by] E. Allen Emerson, Kedar S. Namjoshi.

Summary goes here

Saved in:

Bibliographic Details
Format:	Book
Language:	English
Subjects:	Computer programs Logiciels COMPUTERS Informatique. Abstrakte Interpretation Formale Methode Model Checking Programmanalyse Programmverifikation Congress Conference papers and proceedings. Actes de congrès. Charleston (SC, 2006) Kongress.
Tags:	Add Tag No Tags, Be the first to tag this record!

Description
Summary:	Summary goes here
Item Description:	General Notes
Physical Description:	1 online resource (xi, 442 pages) :illustrations
ISBN:	9783540316220 3540316221 3540311394 9783540311393