Symbolic Object Code Analysis





Professorship/Faculty: Software Technologies  
Authors: Mühlberg, Jan Tobias; Lüttgen, Gerald  
Title of the compilation: Model checking software : 17th International SPIN workshop, Enschede, The Netherlands, September 27-29, 2010 ; proceedings / Jaco van de Pol; Michael Weber (eds.). - Berlin u.a., 2010. - (Lecture Notes in Computer Science ; 6349). - S. 4 - 21
Year of publication: 2010
Language(s): Other Language
Remark: 
Auch als Veröff. im Internet: http://www.springerlink.com/content/r82326718033/#section=784322&page=1&locus=0
URL: http://www.springerlink.com/content/r8232671803...
Document Type: Contribution to an Articlecollection
URI: https://fis.uni-bamberg.de/handle/uniba/3886
Release Date: 30. April 2014