T. S. E. Maibaum, M. R. Sadler, Paulo A. S. Veloso. Logical Specification and Implementation. In Mathai Joseph, R. K. Shyamasundar, editors, Foundations of Software Technology and Theoretical Computer Science, Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings. Volume 181 of Lecture Notes in Computer Science, pages 13-30, Springer, 1984.
@inproceedings{MaibaumSV84,
title = {Logical Specification and Implementation},
author = {T. S. E. Maibaum and M. R. Sadler and Paulo A. S. Veloso},
year = {1984},
researchr = {https://researchr.org/publication/MaibaumSV84},
cites = {0},
citedby = {0},
pages = {13-30},
booktitle = {Foundations of Software Technology and Theoretical Computer Science, Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings},
editor = {Mathai Joseph and R. K. Shyamasundar},
volume = {181},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-13883-8},
}