"Structured Specifications for Better Verification of Heap-Manipulating ..."

Cristian Gherghina et al. (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics