Nachum Dershowitz, Zohar Manna. Inference Rules for Program Annotation. In ICSE. pages 158-167, 1978.
@inproceedings{DershowitzM78,
title = {Inference Rules for Program Annotation},
author = {Nachum Dershowitz and Zohar Manna},
year = {1978},
tags = {rule-based, rules},
researchr = {https://researchr.org/publication/DershowitzM78},
cites = {0},
citedby = {0},
pages = {158-167},
booktitle = {ICSE},
}