| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| 6 |      | Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Thai Son Hoang, Farhad Mehta, Laurent Voisin: Rodin: an open toolset for modelling and reasoning in Event-B. STTT 12(6): 447-466 (2010) |
| 2008 | ||
| 5 | | Farhad Mehta: A Practical Approach to Partiality - A Proof Based Approach. ICFEM 2008: 238-257 |
| 4 | | Ádám Darvas, Farhad Mehta, Arsenii Rudich: Efficient Well-Definedness Checking. IJCAR 2008: 100-115 |
| 2007 | ||
| 3 | | Farhad Mehta: Supporting Proof in a Reactive Development Environment. SEFM 2007: 103-112 |
| 2005 | ||
| 2 | | Farhad Mehta, Tobias Nipkow: Proving pointer programs in higher-order logic. Inf. Comput. 199(1-2): 200-227 (2005) |
| 2003 | ||
| 1 | | Farhad Mehta, Tobias Nipkow: Proving Pointer Programs in Higher-Order Logic. CADE 2003: 121-135 |
| 1 | Jean-Raymond Abrial | [6] |
| 2 | Michael J. Butler | [6] |
| 3 | Ádám Darvas | [4] |
| 4 | Stefan Hallerstede | [6] |
| 5 | Thai Son Hoang | [6] |
| 6 | Tobias Nipkow | [1] [2] |
| 7 | Arsenii Rudich | [4] |
| 8 | Laurent Voisin | [6] |
Colors in the list of coauthors
Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page