@inproceedings{mci/Engels2008,
author = {Engels, Gregor AND Güldali, Baris AND Sauer, Stefan},
title = {Formalisierung der funktionalen Anforderungen mit visuellen Kontrakten und deren Einsatz für modellbasiertes Testen},
booktitle = {Softwaretechnik-Trends Band 28, Heft 3},
year = {2008},
editor = {},
publisher = {Geselllschaft für Informatik e.V.},
address = {Bonn}
}