Lee Naish. Verification of Logic Programs and Imperative Programs. In ICLP. pages 143-164, 1991.
@inproceedings{Naish91, title = {Verification of Logic Programs and Imperative Programs}, author = {Lee Naish}, year = {1991}, tags = {program verification, logic programming, logic}, researchr = {https://researchr.org/publication/Naish91}, cites = {0}, citedby = {0}, pages = {143-164}, booktitle = {ICLP}, }