Formale Konsistenzsicherung in informellen Software-Spezifikationen

 |  Johannes Siedersleben

Informatik Forschung und Entwicklung 19(1), 2004 (Uwe M. Borghoff, Jan Scheffczyk, Johannes Siedersleben, Christiane Stutz) PDF

Johannes Siedersleben