IMDEA initiative
The information in this page may be outdated, as Remi Geraud is currently not a member of the Institute.
Abstract interpretation-based program analysis and abstract domains, verification, executable models of cyber-physical systems
