Search Within

Bernhard Kragl

Bkragl_rd9cx
Email:
Interests:

Results (5)

  • Layered Concurrent Programs
    Conference paper
  • Extensional crisis and proving identity
    Conference paper
  • Tree interpolation in Vampire
    Conference paper