Items where Author is "Ait El Manssour, R"
 | Up a level |
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 1.
Article
Ait El Manssour, R, Kenison, G, Shirmohammadi, M and Varonka, A (2025) Simple Linear Loops: Algebraic Invariants and Applications. Proceedings of the ACM on Programming Languages, 9. pp. 745-771.