Daniel Brand. Proving Programs Incorrect. In ICALP. pages 201-227, 1976.
@inproceedings{Brand76:0, title = {Proving Programs Incorrect}, author = {Daniel Brand}, year = {1976}, researchr = {https://researchr.org/publication/Brand76%3A0}, cites = {0}, citedby = {0}, pages = {201-227}, booktitle = {ICALP}, }