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 in Sammelwerk / Fach: Wirtschaftswissenschaften
Titel:
Tool based support for teaching formal specification of business components.
Autor(in):
Zaha, J.m. im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen; Albani, A.
Erscheinungsjahr:
2003
Erschienen in:
Teaching Formal Methods: Practice and Experience. - Oxford, Great Britain, 2003