Model and Proof Generation for Heap−Manipulating Programs
Martin Brain‚ Cristina David‚ Daniel Kroening and Peter Schrammel
Book Title
European Symposium on Programming‚ ESOP'14
Pages
432−452
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
8410
Year
2014