Publikation

A Practical Approach to Partiality

A Proof Based Approach

Autorenschaft:
Prof. Dr. Farhad D. Mehta, 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
zurück