La información de esta página podría estar desactualizada debido a que Remi Geraud no es actualmente miembro del Instituto.
Abstract interpretation-based program analysis and abstract domains, verification, executable models of cyber-physical systems
