Alessandro Giacalone, Thomas W. Doeppner Jr., Michael J. Braca. Toward a Formally Based Programming Environment. In Pierpaolo Degano, Erik Sandewall, editors, Integrated Interactive Computing Systems: Proceedings of the European Conference on Integrated Interactive Computing Systems, ECICS 82, Stresa, Italy, 1-3 September, 1982. pages 363-374, North-Holland, 1982.
@inproceedings{GiacaloneDB82,
title = {Toward a Formally Based Programming Environment},
author = {Alessandro Giacalone and Thomas W. Doeppner Jr. and Michael J. Braca},
year = {1982},
researchr = {https://researchr.org/publication/GiacaloneDB82},
cites = {0},
citedby = {0},
pages = {363-374},
booktitle = {Integrated Interactive Computing Systems: Proceedings of the European Conference on Integrated Interactive Computing Systems, ECICS 82, Stresa, Italy, 1-3 September, 1982},
editor = {Pierpaolo Degano and Erik Sandewall},
publisher = {North-Holland},
isbn = {0-444-86595-0},
}