Publication
A Practical Approach to Partiality
A Proof Based Approach
Publisher
Springer
Newspaper/Anthology:
Formal Methods and Software Engineering, ICFEM 2008 proceedings, Nr.LNCS 5256/2008
Pages:
238-257
978-3-540-88193-3
Prof. Dr. Farhad D. Mehta
IFS Institut für SoftwareProfessor of Programming Languages and Software Engineering
+41 58 257 46 16farhad.mehta@ost.ch
