Titre : Verification, model checking, and abstract interpretation : 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : Proceedings

VMCAI 2005

Radhia Cousot. Editeur scientifique
International conference on verification, model checking and abstract interpretation : 6 ; 2005 ; Paris, FR
Berlin Heidelberg
Springer
cop. 2005
XI-481 p. ; 24 cm
(Lecture notes in computer science, 0302-9743 ; 3385)

xx Logiciels-- Vérification
3-540-24297-X

Contient des notes bibliogr. Index

Exemplaires

Powered by Koha

LocalisationCoteSituation
Centre de recherche en informatique   PAR 05