Heap Assumptions on Demand
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Andreas Podelski, Andrey Rybalchenko, Thomas Wies
Heap Assumptions on Demand
CAV, 2008.

CAV 2008
Full names Links ISxN
	author        = "Andreas Podelski and Andrey Rybalchenko and Thomas Wies",
	booktitle     = "{Proceedings of the 20th International Conference on Computer Aided Verification}",
	doi           = "10.1007/978-3-540-70545-1_31",
	isbn          = "978-3-540-70543-7",
	pages         = "314--327",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Heap Assumptions on Demand}",
	volume        = 5123,
	year          = 2008,

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.