@inproceedings{,
    author = {León, Hernán Ponce de; Haas, Thomas; Meyer, Roland},
    title = {Dartagnan: SMT-based Violation Witness Validation (Competition Contribution)},
    editor = {Fisman, Dana; Rosu, Grigore},
    booktitle = {Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II},
    series = {Lecture Notes in Computer Science},
    journal = {},
    address = {Cham},
    publisher = {Springer},
    edition = {},
    year = {2022},
    isbn = {978-3-030-99526-3 ; 978-3-030-99527-0},
    volume = {13244},
    number =  {},
    pages = {418-423},
    url = {https://link.springer.com/chapter/10.1007/978-3-030-99527-0_24},
    doi = {10.1007/978-3-030-99527-0_24},
    keywords = {},
    abstract = {},
    note = {},
    institution = {Universität der Bundeswehr München, Fakultät für Informatik, INF 6 - Institut für Systemsicherheit, Professur: Kinder, Johannes},
    
    
}