Ali Mili. A case for teaching program verification: Its importance in the CS curriculum. In Larry K. Cottrell, Sheau-Dong Lang, A. Joe Turner, editors, Proceedings of the 14th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1983, Orlando, FL, USA, February 17-18, 1983. pages 2-6, ACM, 1983. [doi]
@inproceedings{Mili83-0,
title = {A case for teaching program verification: Its importance in the CS curriculum},
author = {Ali Mili},
year = {1983},
doi = {10.1145/952978.801003},
url = {https://doi.org/10.1145/952978.801003},
researchr = {https://researchr.org/publication/Mili83-0},
cites = {0},
citedby = {0},
pages = {2-6},
booktitle = {Proceedings of the 14th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1983, Orlando, FL, USA, February 17-18, 1983},
editor = {Larry K. Cottrell and Sheau-Dong Lang and A. Joe Turner},
publisher = {ACM},
isbn = {978-0-89791-091-0},
}