Toward a Formally Based Programming Environment

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.

Authors

Alessandro Giacalone

This author has not been identified. Look up 'Alessandro Giacalone' in Google

Thomas W. Doeppner Jr.

This author has not been identified. Look up 'Thomas W. Doeppner Jr.' in Google

Michael J. Braca

This author has not been identified. Look up 'Michael J. Braca' in Google