![[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; Lingsch-Rosenfeld, Marian ORCID: https://orcid.org/0000-0002-8172-3184 und Spiessl, Martin ORCID: https://orcid.org/0000-0002-9169-9130
(2023):
CEGAR-PT. A Tool for Abstraction by Program Transformation.
2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), Kirchberg, Luxembourg, 11-15 September 2023.
In: 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE),
Piscataway, NJ: IEEE. S. 2078-2081
[PDF, 136kB]
ORCID: https://orcid.org/0000-0003-4832-7662; Lingsch-Rosenfeld, Marian ORCID: https://orcid.org/0000-0002-8172-3184 und Spiessl, Martin ORCID: https://orcid.org/0000-0002-9169-9130
(2023):
CEGAR-PT. A Tool for Abstraction by Program Transformation.
2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), Kirchberg, Luxembourg, 11-15 September 2023.
In: 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE),
Piscataway, NJ: IEEE. S. 2078-2081
[PDF, 136kB]