Verification of Program Properties Using Different Theorem Provers: A Case Study

Sorry, there's nothing here.

Cite this paper

@inproceedings{Jorge2007VerificationOP, title={Verification of Program Properties Using Different Theorem Provers: A Case Study}, author={J. Santiago Jorge and V{\'i}ctor M. Gul{\'i}as and Laura M. Castro}, booktitle={EUROCAST}, year={2007} }