Modular Verification of Linked Lists With Views via Separation Logic.
Journal of Object Technology - Switzerland
doi 10.5381/jot.2011.10.1.a2
Full Text
Open PDFAbstract
Available in full text
Categories
Date
January 1, 2011
Authors
Publisher
AITO - Association Internationale pour les Technologies Objets