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

Remote Storage