TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Publikationsjahr | Sprache
Anzahl der Einträge: 1.

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

Diese Liste wurde am Tue Apr 16 02:33:53 2024 CEST generiert.