Search alternatives:
past » part
Cover Image
Read Now

1
by Manna, Zohar, Pnueli, Amir
Published 1995
Springer New York
Table of Contents: “... for Past Formulas -- 4.2 Applications of the Past Invariance Rule -- 4.3 Compositional Verification -- 4.4...”