مؤتمر
LIV: Loop-Invariant Validation Using Straight-Line Programs
| العنوان: | LIV: Loop-Invariant Validation Using Straight-Line Programs |
|---|---|
| المؤلفون: | Beyer, Dirk, 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. :2074-2077 Sep, 2023 |
| Relation: | 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | ردمك: | 9798350329964 |
|---|---|
| تدمد: | 26431572 |
| DOI: | 10.1109/ASE56229.2023.00214 |