Putting Theories Together to Make Specifications

Burstall, Rod M.; Goguen, Joseph A.

Putting Theories Together to Make Specifications

Download BibTeX Cite

Proceedings of the Fifth International Joint Conference on Artificial Intelligence. Invited Panel. Pages 1045-1057.

Abstract

Rod M. Burstall, and Joseph A. Goguen. 1977. Putting Theories Together to Make Specifications. In Proceedings of the Fifth International Joint Conference on Artificial Intelligence, IJCAI-77. IJCAI, 1045–1057. https://ijcai.org/proceedings/1977/234

@inproceedings{ijcai1977p234,
  title     = {Putting Theories Together to Make Specifications},
  author    = {Burstall, Rod M. and Goguen, Joseph A.},
  booktitle = {Proceedings of the Fifth International Joint Conference on
               Artificial Intelligence, {IJCAI-77}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Raj Reddy},
  pages     = {1045--1057},
  year      = {1977},
  note      = {Invited Panel},
  url       = {https://ijcai.org/proceedings/1977/234},
}

TY  - CPAPER
TI  - Putting Theories Together to Make Specifications
AU  - Burstall, Rod M.
AU  - Goguen, Joseph A.
T2  - Proceedings of the Fifth International Joint Conference on Artificial Intelligence, IJCAI-77
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1977
SP  - 1045
EP  - 1057
UR  - https://ijcai.org/proceedings/1977/234
ER  -