J. Coenen. Hoare s Logic and VDM. Formal Asp. Comput., 7(1):91-105, 1995.
@article{Coenen95:0, title = {Hoare s Logic and VDM}, author = {J. Coenen}, year = {1995}, tags = {logic}, researchr = {https://researchr.org/publication/Coenen95%3A0}, cites = {0}, citedby = {0}, journal = {Formal Asp. Comput.}, volume = {7}, number = {1}, pages = {91-105}, }