Titre : Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings


Bernhard Steffen. Editeur scientifique
Giorgio Levi (1942-...). Editeur scientifique
International Conference on Verification, Model Checking, and Abstract Interpretation : 5 ; 2004 ; Venice, IT
Berlin New York
Springer
cop. 2004
XI-324 p. ; 24 cm
(Lecture notes in computer science, 0302-9743 ; 2937)

xx Logiciels-- Vérification
3-540-20803-8

Contient des notes bibliogr. Index

Exemplaires

Powered by Koha

LocalisationCoteSituation
Centre de recherche en informatique   VEN 04