Results (48)

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