Eintrag weiter verarbeiten
Ultimate Taipan with symbolic interpretation and fluid abstractions: (competition contribution)
Gespeichert in:
Veröffentlicht in: | Tools and algorithms for the construction and analysis of systems : 26th international conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings 12079 (2020), 418-422 |
---|---|
Personen und Körperschaften: | , , , , |
Weitere Verfasser: | Heizmann, Matthias [VerfasserIn] • Nutz, Alexander [VerfasserIn] • Schätzle, Claus [VerfasserIn] • Schuessele, Frank [VerfasserIn] |
Format: | E-Book Sonderdruck |
Sprache: | Englisch |
veröffentlicht: |
Cham
Springer
2020
Berlin, Heidelberg Springer 2020 Freiburg Albert-Ludwigs-Universität Freiburg 2021 |
Gesamtaufnahme: |
Ultimate Taipan with symbolic interpretation and fluid abstractions
Ultimate Taipan with symbolic interpretation and fluid abstractions; 12079 (2020), 418-422 |
Quelle: | Verbunddaten SWB Lizenzfreie Online-Ressourcen |
ISBN: |
978-3-030-45236-0
|
ISSN: |
1611-3349
|