Maarten H. van Emden
Verification Conditions as Programs
ICALP, 1976.
@inproceedings{ICALP-1976-Emden,
author = "Maarten H. van Emden",
booktitle = "{Proceedings of the Third International Colloquium on Automata, Languages and Programming}",
isbn = "0-85224-308-1",
pages = "99--119",
title = "{Verification Conditions as Programs}",
year = 1976,
}