X-by-Construction: Unifying Functional Correctness and Non-Functional Guarantees.

Maximilian Kodetzki

Browse the full ISSRE paper archive.