Suche

Property-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).


Links: