Results (11)

  • Array folds logic
    Conference paper
  • Automating separation logic using SMT
    Conference paper