F. Nur Özmizrak is an author at University of Ottawa specializing in computer science, automated reasoning, and software design.
Top concepts
SimulationEngineeringVerificationData ModelingSoftware DesignComputer ScienceSoftware TestingSoftware AnalysisAutomated ReasoningFormal Verification
Publications per year
1996–1996
1
1
Rows per page
1–1 of 1