Publikation

A Practical Approach to Partiality

A Proof Based Approach

Autorenschaft:
Farhad Mehta, 2008
Herausgeber:
Springer
Zeitschrift / Sammelband:
Formal Methods and Software Engineering, ICFEM 2008 proceedings, Nr.LNCS 5256/2008
Seiten / Kapitel:
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

zurück