Daniel Brand
Proving Programs Incorrect
ICALP, 1976.
@inproceedings{ICALP-1976-Brand,
author = "Daniel Brand",
booktitle = "{Proceedings of the Third International Colloquium on Automata, Languages and Programming}",
isbn = "0-85224-308-1",
pages = "201--227",
title = "{Proving Programs Incorrect}",
year = 1976,
}