Robert Milne. Proof Rules for VDM Statements. In Robin E. Bloomfield, Lynn S. Marshall, Roger B. Jones, editors, VDM 88, VDM - The Way Ahead, 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988, Proceedings. Volume 328 of Lecture Notes in Computer Science, pages 318-336, Springer, 1988.
@inproceedings{Milne88, title = {Proof Rules for VDM Statements}, author = {Robert Milne}, year = {1988}, tags = {rule-based, rules}, researchr = {https://researchr.org/publication/Milne88}, cites = {0}, citedby = {0}, pages = {318-336}, booktitle = {VDM 88, VDM - The Way Ahead, 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988, Proceedings}, editor = {Robin E. Bloomfield and Lynn S. Marshall and Roger B. Jones}, volume = {328}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-50214-9}, }