Hussein Zedan is an author at De Montfort University specializing in engineering, formal methods, and formal verification.
Top concepts
EngineeringFormal MethodsSystems EngineeringComputer ScienceFormal VerificationSoftware EngineeringSoftware DesignVerificationSystem SoftwareSoftware Analysis
Publications per year
1987–2014
29
29
Rows per page
1–5 of 29