Practical Program Verification: Automatic Program Proving for Real-Time Embedded Software

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.

Abstract

Abstract is missing.