Jean Goubault is an author at Hôpital Jean Jaurès specializing in automated reasoning, formal verification, and formal methods.
Top concepts
EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationVerificationProof ComplexityIntegral GeometryComputer EngineeringComputational Complexity
Publications per year
1995–2002
2
2
Rigid E/spl I.oarr/-unifiability is DEXPTIME-complete
Jean Goubault · 2002 · 15 citations
Rows per page
1–2 of 2