Workshop on Program Semantics, Specification and Verification: Theory and Applications (10. : 2019 : Nowosibirsk-Akademgorodok) Bezüge im Wissensnetz Veranstaltungsort (1) GND Nowosibirsk-Akademgorodok