Statistics
Publications
2
Citations
777
H-Index
2
Active since
2005
Affiliations
ETH Zurich(Current)
Farhad Mehta is an author at ETH Zurich specializing in computing, computer science, and deductive reasoning.
Publications per year
2005–2010
2
2
Proving pointer programs in higher-order logic
Farhad Mehta, Tobias Nipkow · Information and Computation · 2005 · 100 citations
1–2 of 2