Anzahl der Publikationen: 1
Konferenzbeitrag
Beyer, Dirk ORCID: https://orcid.org/0000-0003-4832-7662 und Strejček, Jan ORCID: 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.