Veroff and Henschen. "Application of Automatic Transformations to Program Verification." International Joint Conference on Artificial Intelligence, 1981.
Markdown
[Veroff and Henschen. "Application of Automatic Transformations to Program Verification." International Joint Conference on Artificial Intelligence, 1981.](https://mlanthology.org/ijcai/1981/veroff1981ijcai-application/)
BibTeX
@inproceedings{veroff1981ijcai-application,
title = {{Application of Automatic Transformations to Program Verification}},
author = {Veroff, Robert and Henschen, Lawrence J.},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1981},
pages = {472-479},
url = {https://mlanthology.org/ijcai/1981/veroff1981ijcai-application/}
}