Titre:
  • Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014 Sydney, NSW, Australia, November 3-7, 2014 Proceedings
Auteur:Cassez, Franck F.; Raskin, Jean-François
Informations sur la publication:Lecture notes in computer science, 8837
Statut de publication:Publié, 2014
Sujet CREF:Informatique générale
Informatique mathématique
Note générale:SCOPUS: cp.k
Langue:Anglais
Identificateurs:urn:issn:0302-9743
info:scp/84908691717