Traits: Correctness-by-Construction for Free.

Tobias Runge, Alex Potanin, Thomas Thm, Ina Schaefer

Browse the full FORTE paper archive.