Salman Saghafi is an author at Brown University specializing in computer engineering, program analysis, and formal methods.
Top concepts
DesignEngineeringVerificationFormal MethodsRobot LearningSoftware DesignComputer ScienceProgram AnalysisSoftware TestingLogic Programming
Publications per year
2013–2013
1
1
Rows per page
1–1 of 1