"Unifying Requirements and Code: An Example."

Alexandr Naumchev, Bertrand Meyer, Víctor Rivera (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics