Formal verification of a theory of packages

Jaap Boender. Formal verification of a theory of packages. ECEASST, 48, 2011. [doi]

Abstract

Abstract is missing.