Refine Results
Groups
  1. Alumni (1)
Years
  1. 2013 (1)
Publishers
  1. Springer (1)
Affiliation
  1. IST Austria (1)
Open access
  1. no (1)
Peer reviewed
  1. no (1)
Invited
  1. no (1)

Results (1)

  • Automating separation logic using SMT
    Conference paper