| 2008 |
|---|
| 5 | EE | Farhad Mehta:
A Practical Approach to Partiality - A Proof Based Approach.
ICFEM 2008: 238-257 |
| 4 | EE | Ádám Darvas,
Farhad Mehta,
Arsenii Rudich:
Efficient Well-Definedness Checking.
IJCAR 2008: 100-115 |
| 2007 |
|---|
| 3 | EE | Farhad Mehta:
Supporting Proof in a Reactive Development Environment.
SEFM 2007: 103-112 |
| 2005 |
|---|
| 2 | EE | Farhad Mehta,
Tobias Nipkow:
Proving pointer programs in higher-order logic.
Inf. Comput. 199(1-2): 200-227 (2005) |
| 2003 |
|---|
| 1 | EE | Farhad Mehta,
Tobias Nipkow:
Proving Pointer Programs in Higher-Order Logic.
CADE 2003: 121-135 |
