![](/img/cover-not-exists.png)
A Two-Valued Logic for Properties of Strict Functional Programs Allowing Partial Functions
David Sabel, Manfred Schmidt-SchaußVolume:
50
Language:
english
DOI:
10.1007/s10817-012-9253-6
Date:
April, 2013
File:
PDF, 946 KB
english, 2013