Maarten H. van Emden. Verification Conditions as Programs. In ICALP. pages 99-119, 1976.
@inproceedings{Emden76,
title = {Verification Conditions as Programs},
author = {Maarten H. van Emden},
year = {1976},
tags = {program verification},
researchr = {https://researchr.org/publication/Emden76},
cites = {0},
citedby = {0},
pages = {99-119},
booktitle = {ICALP},
}