Informality in Program Specifications

Robert Balzer, Neil M. Goldman, David S. Wile

IJCAI 1977 pp. 389-397

doi:10.1109/TSE.1978.231480 /ijcai/1977/balzer1977ijcai-informality/

Cite

Text

Balzer et al. "Informality in Program Specifications." International Joint Conference on Artificial Intelligence, 1977. doi:10.1109/TSE.1978.231480

Markdown

[Balzer et al. "Informality in Program Specifications." International Joint Conference on Artificial Intelligence, 1977.](https://mlanthology.org/ijcai/1977/balzer1977ijcai-informality/) doi:10.1109/TSE.1978.231480

BibTeX

@inproceedings{balzer1977ijcai-informality,
  title     = {{Informality in Program Specifications}},
  author    = {Balzer, Robert and Goldman, Neil M. and Wile, David S.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1977},
  pages     = {389-397},
  doi       = {10.1109/TSE.1978.231480},
  url       = {https://mlanthology.org/ijcai/1977/balzer1977ijcai-informality/}
}