Logo Logo
Exportieren als [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
Gruppiert nach: Dokumententyp | Veröffentlichungsdatum
Springe zu: 2022
Anzahl der Publikationen: 1

2022

Beyer, Dirk ORCID logoORCID: https://orcid.org/0000-0003-4832-7662 und Strejček, Jan ORCID logoORCID: https://orcid.org/0000-0001-5873-403X (2022): Case Study on Verification-Witness Validators: Where We Are and Where We Go. 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022. Singh, Gagandeep und Urban, Caterina (Hrsg.): In: Static Analysis. Proceedings, Lecture Notes in Computer Science Bd. 13790 Cham, Switzerland: Springer. S. 160-174

Diese Liste wurde am Sat Dec 21 22:03:31 2024 CET erstellt.