International Workshop on Automated Program Analysis, Testing and Verification (1 : 2000 : Limerick) Bezüge im Wissensnetz Veranstaltungsort (1) GND Limerick (Shannon)