1
Publications
1.3K
Citations
1
H-Index
2002
Active since
Affiliations
Semantic Designs (United States)(Current)
A. Yahin is an author at Semantic Designs (United States) specializing in formal verification, formal methods, and engineering.
Top concepts
CompilersEngineeringVerificationFormal MethodsSoftware DesignComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisAutomated Reasoning
Publications per year
2002–2002
1
1
Clone detection using abstract syntax trees
Ira D. Baxter, A. Yahin, Leonardo de Moura et al. · 2002 · 1.3K citations
Rows per page
1–1 of 1