Veri cation of Concurrent Programs (1981)

by Z Manna, A Pnueli
Venue:Temporal Proof Principles, in Proc. of Workshop on Logics of Programs, D. Kozen (ed.), Springer LNCS #131