| |
| * | 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 |
| 1 | Ádám Darvas | [4] |
| 2 | Tobias Nipkow | [1] [2] |
| 3 | Arsenii Rudich | [4] |