Book By Amir Pnueli And Zohar Manna People (First 2 people) - Page 0

Temporal Verification of Reactive Systems: Safety

Book by Amir Pnueli and Zohar Manna

The Temporal Logic of Reactive and Concurrent Systems: Specification

Book by Amir Pnueli and Zohar Manna