Blättern nach Person
 | Ebene hoch |
Springe zu: Englisch
Anzahl der Einträge: 1.
Englisch
Kamburjan, Eduard ; Grätz, Lukas
Hrsg.: Ferreira, Joo ; Mendes, Alexandra ; Menghi, Claudio (2021)
Increasing Engagement with Interactive Visualization: Formal Methods as Serious Games.
4th World Congress on Formal Methods. virtual Conference (21.11.2021)
doi: 10.1007/978-3-030-91550-6_4
Konferenzveröffentlichung, Bibliographie
Drucken
Impressum