|
Eine Ebene nach oben |
Gruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Konferenzbeitrag
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
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