Research outputs (3)

1. Published

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

   Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

2. Published

   Design Patterns in Separation Logic

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

3. Published

   Verifying design patterns in Hoare Type Theory

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