An Implementation of P and V

Cite this paper

@article{Hehner1981AnIO, title={An Implementation of P and V}, author={Eric C. R. Hehner and R. K. Shyamasundar}, journal={Inf. Process. Lett.}, year={1981}, volume={12}, pages={196-198} }