Property-Driven Development.

Hubert Baumeister, Alexander Knapp, Martin Wirsing

Browse the full SEFM paper archive.