Computer aided verification : Fourth International Workshop, CAV '92, Montreal, Canada, June 29 July 1, 1992 : proceedings

This volume gives the proceedings of the Fourth Workshop on Computer-Aided Verification (CAV '92), held in Montreal, June 29 - July 1, 1992. The objective of this series of workshops is to bring together researchers and practitioners interested in the development and use of methods, tools and t...

Descrizione completa

Dettagli Bibliografici

Ente Autore:	International conference on computer-aided verification :Montréal, Canada
Altri autori:	Probst, David Karl, 1945- (Direttore editoriale), Bochmann, Gregor von, 1941- (Direttore editoriale)
Natura:	Livre numérique
Lingua:	Anglais
Pubblicazione:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serie:	Lecture notes in computer science 663
Soggetti:	Génie logiciel Informatique Commande automatique Logique symbolique et mathématique Débogage Logiciels > Essais Actes de congrès
Accesso online:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Computer aided verification, proceedings, Fourth International workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992, Berlin, Springer-Verlag, 1993, 1 vol. (IX-422 p.), Lecture notes in computer science, 3-540-56496-9 • Computer Aided Verification, Texte imprimé, 9783662205792