Symbolic Object Code Analysis
Mühlberg, Jan Tobias; Lüttgen, Gerald (2010): Symbolic Object Code Analysis, in: Jaco van de Pol und Michael Weber (Hrsg.), Model checking software : 17th International SPIN workshop, Enschede, The Netherlands, September 27-29, 2010 ; proceedings, Berlin u.a., S. 4–21.
Faculty/Chair:
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 ; Volume:
Lecture Notes in Computer Science ; 6349
Language:
English
Type:
Conferenceobject
URI:
Activation date:
April 30, 2014

Question on publication

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