Workshop on Formal Languages and Analysis of Contract-Oriented Software (2 : 2008 : Malta) Bezüge im Wissensnetz Veranstaltungsort (1) GND Malta