Farhad Mehta

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

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

	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

Coauthor Index

1 Ádám Darvas [4]

2 Tobias Nipkow [1] [2]

3 Arsenii Rudich [4]

Colors in the list of coauthors