Shainoor Virani is an author at University of Alberta specializing in computer science, software analysis, and formal methods.
Top concepts
DesignEngineeringFormal MethodsSoftware DesignComputer ScienceProgram AnalysisSoftware AnalysisSoftware EngineeringSoftware Maintenance
Publications per year
2006–2009
2
2
Rows per page
1–2 of 2