Λεπτομέρειες βιβλιογραφικής εγγραφής
| Τίτλος: |
CEGAR-PT: A Tool for Abstraction by Program Transformation |
| Συγγραφείς: |
Beyer, Dirk, Lingsch-Rosenfeld, Marian, Spiessl, Martin |
| Πηγή: |
2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) ASE Automated Software Engineering (ASE), 2023 38th IEEE/ACM International Conference on. :2078-2081 Sep, 2023 |
| Relation: |
2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) |
| Βάση Δεδομένων: |
IEEE Xplore Digital Library |