1
Publications
20
Citations
1
H-Index
2004
Active since
Affiliations
Université Paris Dauphine-PSL(Current)
Soheib Baarir is an author at Université Paris Dauphine-PSL specializing in formal methods, formal verification, and automated reasoning.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationComputational ComplexityMathematical Programming
Publications per year
2004–2004
1
1