Structured Specifications for Better Verification of Heap-Manipulating Programs [chapter]

Cristian Gherghina, Cristina David, Shengchao Qin, Wei-Ngan Chin
2011 Lecture Notes in Computer Science  
doi:10.1007/978-3-642-21437-0_29 fatcat:auho75jqinfqvkipnydcas6zj4