Localized Verification of Modular Designs

Jørgen Staunstrup, Niels Mellergaard. Localized Verification of Modular Designs. Formal Methods in System Design, 6(3):295-320, 1995.

Abstract

Abstract is missing.