Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation
Book title Buchtitel
Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation
Publisher Herausgeber
ACM
Date issued
Results 1-1 of 1 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Humenberger, Andreas ; Jaroschek, Maximilian ; Kovács, Laura | Automated Generation of Non-Linear Loop Invariants Utilizing Hypergeometric Sequences | Konferenzbeitrag Inproceedings | 2017 |