![[höher]](/style/images/multi_up.png)
Eine Ebene höherGruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Konferenzbeitrag
Anzahl der Publikationen: 1
Konferenzbeitrag
Beyer, Dirk 
ORCID: https://orcid.org/0000-0003-4832-7662; Chien, Po-Chun und Lee, Nian-Ze
(2023):
CPA-DF. A Tool for Configurable Interval Analysis to Boost Program Verification.
38th IEEE/ACM International Conference on Automated Software Engineering (ASE), Echternach, Luxembourg, 11. - 15. September 2023.
Bissyandé, Tegawendé F. (Hrsg.):
In: 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE),
Piscataway: IEEE. S. 2050-2053
[PDF, 332kB]
ORCID: https://orcid.org/0000-0003-4832-7662; Chien, Po-Chun und Lee, Nian-Ze
(2023):
CPA-DF. A Tool for Configurable Interval Analysis to Boost Program Verification.
38th IEEE/ACM International Conference on Automated Software Engineering (ASE), Echternach, Luxembourg, 11. - 15. September 2023.
Bissyandé, Tegawendé F. (Hrsg.):
In: 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE),
Piscataway: IEEE. S. 2050-2053
[PDF, 332kB]