Conference
CEGAR-PT: A Tool for Abstraction by Program Transformation
| Τίτλος: | 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 |
καταχωρήστε σχόλιο πρώτοι!