Tight Polynomial Worst-Case Bounds for Loop Programs
You are here
| Title | Tight Polynomial Worst-Case Bounds for Loop Programs |
| Publication Type | Journal Article |
| Year of Publication | 2020 |
| Authors | Ben-Amram A.M, Hamilton G.W |
| Journal | Logical Methods in Computer Science |
| Volume | 16 |
| Issue | 2 |
| URL | https://lmcs.episciences.org/6477 |
