Adequate Proof Principles for Invariance and Liveness Properties of Concurrent Programs

著者: Zohar Manna, Amir Pnueli - Science of Computer Programming 1984 被引用: 148