ACM/IEEE International Conference on Formal Methods and Models for System Design (14. : 2016 : Kanpur) Bezüge im Wissensnetz Veranstaltungsort (1) GND Kanpur