Learning Assertions to Verify Linked-List Programs
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Jan Tobias Mühlberg, David H. White, Mike Dodds, Gerald Lüttgen, Frank Piessens
Learning Assertions to Verify Linked-List Programs
SEFM, 2015.

SEFM 2015
Full names Links ISxN
	author        = "Jan Tobias Mühlberg and David H. White and Mike Dodds and Gerald Lüttgen and Frank Piessens",
	booktitle     = "{Proceedings of the 13th International Conference on Software Engineering and Formal Methods}",
	doi           = "10.1007/978-3-319-22969-0_3",
	isbn          = "978-3-319-22968-3",
	pages         = "37--52",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Learning Assertions to Verify Linked-List Programs}",
	volume        = 9276,
	year          = 2015,


Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.