Refine Results
Affiliation
  1. IST Austria (58)
Peer reviewed
  1. no (62)
Invited
  1. no (62)

Results (62)

  • Shape refinement through explicit heap analysis
    Conference paper
  • Forward analysis of depth-bounded processes
    Conference paper