JOT
The Journal of Object Technology
An AITO publication
ISSN 1660-1769 · DOI 10.5381/jot
Home
Contents
Masthead
Authors
Software
Special Themes
Articles matching “Jensen”
Jonas Braband Jensen
,
Lars Birkedal
,
Peter Sestoft
,
Modular Verification of Linked Lists with Views via Separation Logic
, pp. 2:1-20,
PDF
,
DOI
.
Volume 10, (2011)