Results (23)

  • Layered Concurrent Programs
    Conference paper
  • Space-time interpolants
    Conference paper
  • Array folds logic
    Conference paper