International Conference on Verified Software: Theories, Tools, and Experiments (14. : 2022 : Trient) Bezüge im Wissensnetz Als In Beziehung stehende Konferenz oder Veranstaltung beteiligt (1) GND 1272446433 Veranstaltungsort (1) GND Trient In Beziehung stehende Konferenz oder Veranstaltung (1) GND 1272446433 Homepage (1) GND vstte22.fbk.eu