Titre : Verification, model checking, and abstract interpretation : 12th international conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 : proceedings

VMCAI 2011

David A Schmidt (1953-....). Editeur scientifique
Ranjit Jhala. Editeur scientifique
International Conference on Verification, Model Checking, and Abstract Interpretation : 12 ; 2011 ; Austin, US
Berlin Heidelberg
Springer
cop. 2011
1 vol. (XI-418 p.) ; 24 cm

xx Logiciels-- Vérification
xx Débogage-- Actes de congrès
978-3-642-18274-73-642-18274-7

Notes bibliogr. en fin de chapitre. Index

Exemplaires

Powered by Koha

LocalisationCoteSituation
Centre de recherche en informatique   AUS 11