Farhad Mehta

According to our database1, Farhad Mehta authored at least 6 papers between 2005 and 2016.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
Scaps: type-directed API search for Scala.
Proceedings of the 7th ACM SIGPLAN Symposium on Scala, 2016

2010
Rodin: an open toolset for modelling and reasoning in Event-B.
Int. J. Softw. Tools Technol. Transf., 2010

2008
A Practical Approach to Partiality - A Proof Based Approach.
Proceedings of the Formal Methods and Software Engineering, 2008

Efficient Well-Definedness Checking.
Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008

2007
Supporting Proof in a Reactive Development Environment.
Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

2005
Proving pointer programs in higher-order logic.
Inf. Comput., 2005


  Loading...