Items where Author is "Ait El Manssour, R"
![[up]](/style/images/multi_up.png)
Up a levelGroup 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.