French Singaporean Workshop on Formal Methods and Applications (1. : 2013 : Singapur) Bezüge im Wissensnetz Veranstaltungsort (1) GND Singapur