Julien Dormoy is an author at Université de franche-comté specializing in formal verification, program analysis, and computer engineering.
Top concepts
EngineeringVerificationFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisAutomated Reasoning
Publications per year
2011–2011
1
1
Rows per page
1–1 of 1