International Conference on Verified Software: Theories, Tools and Experiments (15. : 2023 : Ames, Iowa) Bezüge im Wissensnetz Veranstaltungsort (1) GND Ames, Iowa