1
Publications
58
Citations
1
H-Index
2003
Active since
Affiliations
University of California San Diego(Current)
Ankit Shah is an author at University of California San Diego specializing in software design, computer science, and formal methods.
Top concepts
DesignSemanticsEngineeringFormal MethodsSoftware DesignComputer ScienceProgram AnalysisSoftware AnalysisSystems EngineeringSoftware Engineering
Publications per year
2003–2003
1
1
Macneil Shonle, Karl Lieberherr, Ankit Shah · 2003 · 58 citations
Engineering, Cross-cutting Concern, Software Engineering +16
Rows per page
1–1 of 1