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, Rechtswissenschaften
Dieser Eintrag ist freigegeben.