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