Malcolm C. Newey. Proving Properties of Assembly Language Programs. In IFIP Congress. pages 795-799, 1977.
@inproceedings{Newey77, title = {Proving Properties of Assembly Language Programs}, author = {Malcolm C. Newey}, year = {1977}, tags = {programming languages, C++}, researchr = {https://researchr.org/publication/Newey77}, cites = {0}, citedby = {0}, pages = {795-799}, booktitle = {IFIP Congress}, }