Farhad Mehta
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2003–2008
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | CADE | Efficient Well-Definedness Checking. | dm Darvas, Farhad Mehta, Arsenii Rudich |
| 2008 | ICFEM | A Practical Approach to Partiality - A Proof Based Approach. | Farhad Mehta |
| 2007 | SEFM | Supporting Proof in a Reactive Development Environment. | Farhad Mehta |
| 2003 | CADE | Proving Pointer Programs in Higher-Order Logic. | Farhad Mehta, Tobias Nipkow |