Zohar Manna. Logics of Programs. In IFIP Congress. pages 41-51, 1980.
@inproceedings{Manna80,
title = {Logics of Programs},
author = {Zohar Manna},
year = {1980},
tags = {logic programming, programming, logic},
researchr = {https://researchr.org/publication/Manna80},
cites = {0},
citedby = {0},
pages = {41-51},
booktitle = {IFIP Congress},
}