Verification, model checking, and abstract interpretation : third international workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002 : revised papers /

Bibliographic Details
Corporate Authors:	VMCAI 2002 Venice, Italy, SpringerLink (Online service)
Other Authors:	Cortesi, Agostino, 1963-
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [2002]
Series:	Lecture notes in computer science ; 2294. Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:	Computer programs > Verification > Congresses. logique temporelle. optimisation programme. sémantique programme. système concurrent. système réactif. spécification programme. analyse programme. interpretation abstraite. vérification modèle. méthode formelle. vérification programme. Logiciels > Vérification > Congrès. Computer programs > Verification. Model Checking. Abstrakte Interpretation. Programmanalyse. Programmverifikation. Venedig <2002>. Electronic books. Kongress > Venedig > 2002. Conference proceedings. Venedig (2002)
Online Access:	Connect to the full text of this electronic book

Description
Item Description:	Electronic resource.
Physical Description:	1 online resource (viii, 330 pages) : illustrations
Bibliography:	Includes bibliographical references and index.
ISBN:	3540436316 9783540436317
ISSN:	0302-9743 ;