Research outputs (7)

1. Published

   Higher-order Concurrent Abstract Predicates

   Research output: Book / Anthology / Report / Ph.D. thesis › Report

2. Published

   Modular Reasoning about Separation of Concurrent Data Structures

   Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

3. Published

   Modular specification and verification for higher-order languages with state

   Research output: Book / Anthology / Report / Ph.D. thesis › Ph.D. thesis

View all (7) »