Program Composition and Modular Verification

Cite this paper

@inproceedings{Fix1991ProgramCA, title={Program Composition and Modular Verification}, author={Limor Fix and Nissim Francez and Orna Grumberg}, booktitle={ICALP}, year={1991} }