Alexandre Buisse

Alexandre Buisse

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

Information Desk: 72185000

View graph of relations

Research outputs (3)

  1. Published

    A Step-Indexed Kripke Model of Separation Logic for Storable Locks

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

  2. Published

    Design Patterns in Separation Logic

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

  3. Published

    Verifying design patterns in Hoare Type Theory

    Research output: Book / Anthology / Report / Ph.D. thesisReportResearch

ID: 264733