3
Publications
98
Citations
3
H-Index
1986
Active since
Affiliations
University of Southern California(Current)
Abadir is an author at University of Southern California specializing in verification, computer engineering, and formal verification.
Top concepts
EngineeringVerificationFormal VerificationComputer EngineeringComputer ArchitectureFormal MethodsComputer ScienceProgram AnalysisSoftware TestingBuilt-in Self-test
Publications per year
1986–2008
3
3
Rows per page
1–3 of 3