Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Farhad Mehta

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2010
[j2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/sttt/AbrialBHHMV10
- ask others
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)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2008
[c4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cade/DarvasMR08
- ask others
Ádám Darvas, Farhad Mehta, Arsenii Rudich: Efficient Well-Definedness Checking. IJCAR 2008: 100-115
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icfem/Mehta08
- ask others
Farhad Mehta: A Practical Approach to Partiality - A Proof Based Approach. ICFEM 2008: 238-257
2007
[c2]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sefm/Mehta07
- ask others
Farhad Mehta: Supporting Proof in a Reactive Development Environment. SEFM 2007: 103-112
2005
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/iandc/MehtaN05
- ask others
Farhad Mehta, Tobias Nipkow: Proving pointer programs in higher-order logic. Inf. Comput. 199(1-2): 200-227 (2005)
2003
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cade/MehtaN03
- ask others
Farhad Mehta, Tobias Nipkow: Proving Pointer Programs in Higher-Order Logic. CADE 2003: 121-135

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?