This page in English
SucheProperty-Driven Development
Hubert Baumeister, Alexander Knapp, Martin Wirsing
In: Jorge R. Cuellar, Zhimming Liu (Hgg.). Proc. 2nd IEEE Int. Conf. Software Engineering and Formal Methods (SEFM'04). IEEE, 2004. S. 96-102 (extended abstract).