The University of Warwick Library - WebBridge

O-minimal invariants for linear loops
Almagor, Shaull.  ICALP 2018: 45th International Colloquium on Automata, Languages, and Programming.  v. 107.   2018. p. 114:1 - 114:14... issn: 1868-8969 .   

Online access not found

Sorry - based on the information provided, WebBridge cannot offer appropriate links.