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 Simple Linear Loops: Algebraic Invariants and Applications. Proceedings of the ACM on Programming Languages. (Accepted)