ITU

Journal of Object Technology

  1. 2011
  2. Published

    Modular Verification of Linked Lists with Views via Separation Logic

    Jensen, J. B., Birkedal, L. & Sestoft, P., Jan 2011, In: Journal of Object Technology. 10, 1, p. 21-40 20 p.

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

ID: 208548