Refine Results
Years
  1. 2013 (24)
Affiliation
  1. IST Austria (24)
Peer reviewed
  1. no (16)
  2. yes (8)
Invited
  1. no (24)

Results (24)

  • From model checking to model measuring
    Conference paper
  • Automating separation logic using SMT
    Conference paper