Visning af: A HOL Basis for Reasoning about Functional Programs

Tilbage til artikeldetaljer A HOL Basis for Reasoning about Functional Programs Download Download PDF