G. Shakir is an author at The Ohio State University specializing in system software, formal specification, and computer engineering.
Top concepts
EngineeringVerificationFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal Verification
Publications per year
2002–2002
1
1
A framework for detecting interface violations in component-based software
Stephen H. Edwards, G. Shakir, Murali Sitaraman et al. · 2002 · 39 citations
Rows per page
1–1 of 1