ITU
ITU
Jonas Buhrkal Jensen

Jonas Buhrkal Jensen

IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark

Information Desk: 72185000

View graph of relations

Research outputs (7)

  1. Published

    Enabling Concise and Modular Specifications in Separation Logic

    Research output: Book / Anthology / Report / Ph.D. thesisPh.D. thesisResearch

  2. Published

    High-level separation logic for low-level code

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  3. Published

    Charge! - A Framework for Higher-Order Separation Logic in Coq

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

View all (7) »

Recent activities and conferences

ID: 1026958