International Conference on Formal Engineering Methods (9 : 2007 : Boca Raton, Fla.) Bezüge im Wissensnetz Veranstaltungsort (1) GND Boca Raton, Fla.