A HOL Basis for Reasoning about Functional Programs (1994)

by Sten Agerholm , Sten Agerholm , Ny Munkegade
Citations:23 - 6 self

Document Versions

A HOL basis for reasoning about functional programs –Sten Agerholm — 1994
A HOL Basis for Reasoning about Functional Programs –Sten Agerholm, Sten Agerholm, Ny Munkegade — 1994