Results (11)

  • Layered Concurrent Programs
    Conference paper
  • Automating separation logic using SMT
    Conference paper