Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution)

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:TACAS (27. : 2021 : Online) Tools and algorithms for the construction and analysis of systems ; Part 2
1. Verfasser: Ponce-de-León, Hernán (VerfasserIn)
Weitere Verfasser: Haas, Thomas (VerfasserIn), Meyer, Roland (VerfasserIn)
Pages:2
Format: UnknownFormat
Sprache:eng
Veröffentlicht: 2021
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
ISBN:9783030720124