Learning assertions to verify linked-list programs
Mühlberg, Jan Tobias; White, David H.; Dodds, Mike; u. a. (2015): Learning assertions to verify linked-list programs, in: Radu Calinescu und Bernhard Rumpe (Hrsg.), Software Engineering and Formal Methods : 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015 ; Proceedings, Berlin ; Heidelberg [u.a.]: Springer, S. 37–52, doi: 10.1007/978-3-319-22969-0_3.
Faculty/Chair:
Author:
 ;  ;  ;  ; 
Editor:
 ; 
Title of the compilation:
Software Engineering and Formal Methods : 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015 ; Proceedings
Corporate Body:
Intl. Conf. on Software Engineering and Formal Methods, 13th, 2015, York, UK
Publisher Information:
Year of publication:
2015
Pages:
ISBN:
978-3-319-22968-3
Series ; Volume:
Lecture Notes in Computer Science ; 9276
Language:
English
DOI:
Type:
Conferenceobject
URI:
Activation date:
November 29, 2016

Question on publication

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