Showing 1 - 3 results of 3 for search 'Thamsborg, J', query time: 0.02s Refine Results
  1. 1
    Two for the Price of One: Lifting Separation Logic Assertions

    Two for the Price of One: Lifting Separation Logic Assertions by Thamsborg, J, Birkedal, L, Yang, H

    Published 2011
    Journal article
  2. 2
    Step-Indexed Kripke Models over Recursive Worlds

    Step-Indexed Kripke Models over Recursive Worlds by Birkedal, L, Reus, B, Schwinghammer, J, Stovring, K, Thamsborg, J, Yang, H

    Published 2011
    Journal article
  3. 3
    Step−Indexed Kripke Models over Recursive Worlds

    Step−Indexed Kripke Models over Recursive Worlds by Birkedal, L, Reus, B, Schwinghammer, J, Stovring, K, Thamsborg, J, Yang, H

    Published 2011
    Conference item

Search Tools: