par Mühlberg, Jan Tobias ;Lüttgen, Gerald
Référence 17th International SPIN Workshop(September 27-29, 2010: Enschede, The Netherlands), Model Checking Software, Lecture notes in computer science (6349), page (4–21)
Publication Publié, 2010
Publication dans des actes
Titre:
  • Symbolic object code analysis
Auteur:Mühlberg, Jan Tobias; Lüttgen, Gerald
Informations sur la publication:17th International SPIN Workshop(September 27-29, 2010: Enschede, The Netherlands), Model Checking Software, Lecture notes in computer science (6349), page (4–21)
Statut de publication:Publié, 2010
Sujet CREF:Informatique générale
Langue:Anglais
Identificateurs:urn:issn:0302-9743
info:doi/10.1007/978-3-642-16164-3_2
9783642161636