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 : SCOPUS: cp.k
Langue :
  • Anglais
Identificateurs : urn:issn:0302-9743