Symbolic Object Code Analysis
Mühlberg, Jan Tobias; Lüttgen, Gerald (2010): „Symbolic Object Code Analysis“. Berlin u.a.
Faculty/Professorship:
Author:
 ; 
Title of the compilation:
Model checking software : 17th International SPIN workshop, Enschede, The Netherlands, September 27-29, 2010 ; proceedings
Editors:
Conference:
17th International SPIN workshop, September 27-29, 2010 ; Enschede, The Netherlands,
Publisher Information:
Year of publication:
2010
Pages:
Series:
Lecture Notes in Computer Science ; 6349
Language:
English
Type:
Conferenceobject
URI:
published:
April 30, 2014

Question on publication

Contact the FIS team
Permalink https://fis.uni-bamberg.de/handle/uniba/3886