Login
- Autorinnen/Autoren:
- Matussek, Tim; Brunthaler, Stefan
- Dokumenttyp:
- Konferenzbeitrag / Conference Paper
- Titel:
- Bisimulation: Analyzing Divergent Interpreter Implementations
- Herausgebende Sammelband:
- Brunthaler, Stefan
- Titel Konferenzpublikation:
- Tagungsband des 23. Kolloquium Programmiersprachen und Grundlagen der Programmierung
- Untertitel Konferenzpublikation:
- 25–28 September 2025 Feldkirchen-Westerham, Deutschland
- Veranstalter (Körperschaft):
- Brunthaler, Stefan
- Konferenztitel:
- Kolloquium Programmiersprachen und Grundlagen der Programmierung (23., 2025, Feldkirchen-Westerham)
- Tagungsort:
- Feldkirchen-Westerham
- Jahr der Konferenz:
- 2025
- Datum Beginn der Konferenz:
- 25.09.2025
- Datum Ende der Konferenz:
- 28.09.2025
- Verlagsort:
- Neubiberg
- Verlegende Institution:
- Universität der Bundeswehr München, Fakultät für Informatik
- Jahr:
- 2026
- Seitenbereich:
- 63-67
- Sprache:
- Englisch
- ISBN:
- 978-3-98997-006-9
- DOI:
- 10.18726/154170
- Fakultät:
- Fakultät für Informatik
- Institut:
- INF 6 - Institut für Systemsicherheit
- Professorin/Professor:
- Brunthaler, Stefan
- Forschungszentrum:
- CODE
- Open Access:
- Ja / Yes
- Open-Access-Lizenz:
- CC BY 4.0
- URL zur Lizenz:
- https://creativecommons.org/licenses/by/4.0/
BibTeX