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