21
Publications
740
Citations
15
H-Index
1989
Active since
Amy Felty is an author at University of Ottawa specializing in engineering, computer science, and formal verification.
Top concepts
EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationProgram AnalysisVerificationSoftware AnalysisFormal SpecificationLogic Programming
Publications per year
1989–2019
21
21
Rows per page
1–5 of 21