Articles matching “Jensen”

  1. 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)
The JOT Journal   |   ISSN 1660-1769   |   DOI 10.5381/jot   |   AITO   |   Open Access   |    Contact