Logical Specifications for Functional Programs (1993)

by Theodore S. Norvell , Eric C. R. Hehner
Citations:9 - 3 self