Automated Composition of Module Chains

Stavros Tripakis. Automated Composition of Module Chains. Electronic Notes in Theoretical Computer Science, 65(4):81-90, 2002. [doi]

Abstract

Abstract is missing.