Zaha, J.m.; Albani, A.:

Tool based support for teaching formal specification of business components.

In: Teaching Formal Methods: Practice and Experience.
Oxford, Great Britain (2003)
Buchaufsatz / Kapitel / Fach: Wirtschaftswissenschaften