@inproceedings{,
    author = {Ponce de León, Hernán; Hass, Thomas; Meyer, Roland},
    title = {Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution)},
    editor = {},
    booktitle = {Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II},
    series = {Lecture Notes in Computer Science ; Theoretical Computer Science and General Issues},
    journal = {},
    address = {Cham},
    publisher = {Springer},
    edition = {},
    year = {2021},
    isbn = {978-3-030-72012-4 ; 978-3-030-72013-1},
    volume = {12652},
    number =  {},
    pages = {428-432},
    url = {https://doi.org/10.1007/978-3-030-72013-1_26},
    doi = {10.1007/978-3-030-72013-1_26},
    keywords = {},
    abstract = {},
    note = {},
    institution = {Universität der Bundeswehr München, Fakultät für Informatik, INF 6 - Institut für Systemsicherheit, Professur: Kinder, Johannes},
    
    
}