Jørgen Staunstrup, Niels Mellergaard. Localized Verification of Modular Designs. Formal Methods in System Design, 6(3):295-320, 1995.
@article{StaunstrupM95, title = {Localized Verification of Modular Designs}, author = {Jørgen Staunstrup and Niels Mellergaard}, year = {1995}, researchr = {https://researchr.org/publication/StaunstrupM95}, cites = {0}, citedby = {0}, journal = {Formal Methods in System Design}, volume = {6}, number = {3}, pages = {295-320}, }