VarCorC: Developing Object-Oriented Software Product Lines Using Correctness-by-Construction.

Tabea Bordis, Maximilian Kodetzki, Tobias Runge, Ina Schaefer

Browse the full SEFM paper archive.