John Nagle, Scott Johnson. Practical Program Verification: Automatic Program Proving for Real-Time Embedded Software. In Proceedings of the 10th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages. pages 48-58, 1983.
@inproceedings{NagleJ83,
title = {Practical Program Verification: Automatic Program Proving for Real-Time Embedded Software},
author = {John Nagle and Scott Johnson},
year = {1983},
tags = {program verification, embedded software},
researchr = {https://researchr.org/publication/NagleJ83},
cites = {0},
citedby = {0},
pages = {48-58},
booktitle = {Proceedings of the 10th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages},
}