ML Anthology

Formal Verification of Pure Production System Programs

Rose F. Gamble, Gruia-Catalin Roman, William E. Ball
AAAI 1991 pp. 329-334
/aaai/1991/gamble1991aaai-formal/
PDF AAAI Semantic Scholar

Cite

Text

Gamble et al. "Formal Verification of Pure Production System Programs." AAAI Conference on Artificial Intelligence, 1991.

Markdown

[Gamble et al. "Formal Verification of Pure Production System Programs." AAAI Conference on Artificial Intelligence, 1991.](https://mlanthology.org/aaai/1991/gamble1991aaai-formal/)

BibTeX

@inproceedings{gamble1991aaai-formal,
  title     = {{Formal Verification of Pure Production System Programs}},
  author    = {Gamble, Rose F. and Roman, Gruia-Catalin and Ball, William E.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1991},
  pages     = {329-334},
  url       = {https://mlanthology.org/aaai/1991/gamble1991aaai-formal/}
}