Grigoris Antoniou. The Verification of Modules. Formal Asp. Comput., 6(2):223-244, 1994.
@article{Antoniou94,
title = {The Verification of Modules},
author = {Grigoris Antoniou},
year = {1994},
researchr = {https://researchr.org/publication/Antoniou94},
cites = {0},
citedby = {0},
journal = {Formal Asp. Comput.},
volume = {6},
number = {2},
pages = {223-244},
}