1
Publications
14
Citations
1
H-Index
2014
Active since
Affiliations
Arnaud Jobin is an author at Laboratoire d'Intégration des Systèmes et des Technologies specializing in formal methods, formal verification, and automated reasoning.
Top concepts
EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal Verification
Publications per year
2014–2014
1
1
Rows per page
1–1 of 1