par Bodhuin, Thierry;Pagnozzi, Federico ;Santone, Antonella;Tortorella, Maria;Villani, Maria Luisa
Référence ASEA 2009: Advances in Software Engineering, International Conference on Advanced Software Engineering and Its Applications, Springer, Berlin, Heidelberg
Publication Publié, 2009-12-10
Publication dans des actes
Titre:
  • Abstracting models from execution traces for performing formal verification
Auteur:Bodhuin, Thierry; Pagnozzi, Federico; Santone, Antonella; Tortorella, Maria; Villani, Maria Luisa
Informations sur la publication:ASEA 2009: Advances in Software Engineering, International Conference on Advanced Software Engineering and Its Applications, Springer, Berlin, Heidelberg
Statut de publication:Publié, 2009-12-10
series:Communications in Computer and Information Science
Sujet CREF:Informatique générale
Langue:Français
Identificateurs:urn:isbn:978-3-642-10618-7