Travelled to:1 × Australia
1 × USA
1 × United Kingdom
Collaborated with:∅ T.Nipkow Á.Darvas A.Rudich
Talks about:support (1) reactiv (1) program (1) pointer (1) environ (1) develop (1) defined (1) higher (1) effici (1) prove (1)
Person: Farhad Mehta
DBLP: Mehta:Farhad
Contributed to:
2008
2007
2003Wrote 3 papers:
- IJCAR-2008-DarvasMR #performance
- Efficient Well-Definedness Checking (ÁD, FM, AR), pp. 100–115.
- SEFM-2007-Mehta #development #proving
- Supporting Proof in a Reactive Development Environment (FM), pp. 103–112.
- CADE-2003-MehtaN #higher-order #logic #pointer #proving #source code
- Proving Pointer Programs in Higher-Order Logic (FM, TN), pp. 121–135.