View of Formal verification of a theory of packages

Return to Article Details Formal verification of a theory of packages Download Download PDF