U.: A Simple Assertional Proof System for Real-Time Systems (1992)

by A Shankar
Venue:IEEE Computer Society