- Search

- Kontakt

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: