1
Publications
11
Citations
1
H-Index
2003
Active since
Affiliations
G. Camarroque is an author at Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes specializing in formal verification, engineering, and system software.
Top concepts
EngineeringVerificationFormal MethodsSystem SoftwareComputer ScienceHardware SecurityFormal VerificationSystems EngineeringComputer EngineeringComputer Architecture
Publications per year
2003–2003
1
1
Rows per page
1–1 of 1