A. Mauboussin is an author at Sorbonne Université specializing in formal specification, formal methods, and automated reasoning.
Top concepts
EngineeringFormal MethodsSoftware DesignComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationFormal SpecificationSoftware Engineering
Publications per year
1989–1989
1
1