An AITO publication
ISSN 1660-1769
DOI 10.5381/jot
Home
Contents
Masthead
Authors
Software
Special Themes
Newsletter
Bibtex
Jonas Braband Jensen
,
Lars Birkedal
,
Peter Sestoft
, Modular Verification of Linked Lists with Views via Separation Logic
@article{JOT:issue_2011_01/article2, author = {<a href="/contents.php?query=Jensen">Jonas Braband Jensen</a> and <a href="/contents.php?query=Birkedal">Lars Birkedal</a> and <a href="/contents.php?query=Sestoft">Peter Sestoft</a>}, title = {Modular Verification of Linked Lists with Views via Separation Logic}, journal = {Journal of Object Technology}, volume = {10}, issn = {1660-1769}, year = {2011}, pages = {2:1-20}, doi = {10.5381/jot.2011.10.1.a2}, url = {http://www.jot.fm/contents/issue_2011_01/article2.html} }
Back
The JOT Journal | ISSN 1660-1769 | DOI 10.5381/jot |
AITO
|
Open Access
|
Contact
