1
Publications
20
Citations
1
H-Index
2002
Active since
Affiliations
J.P. Courtias is an author at Laboratoire d'Analyse et d'Architecture des Systèmes specializing in computer science, software verification, and systems engineering.
Top concepts
SemanticsEngineeringSemantic WebVerificationFormal MethodsSoftware DesignComputer ScienceSoftware AnalysisAutomated ReasoningFormal Verification
Publications per year
2002–2002
1
1
Rows per page
1–1 of 1