Sara Houhou is an author at University of Biskra specializing in formal methods, formal verification, and formal specification.
Top concepts
EngineeringVerificationFormal MethodsSoftware DesignComputer ScienceAutomated ReasoningFormal VerificationSystems EngineeringFormal Specification
Publications per year
2013–2021
2
2
Rows per page
1–2 of 2