✦ LIBER ✦

[Lecture Notes in Computer Science] Automated Technology for Verification and Analysis Volume 3707 || Introducing Dynamic Properties with Past Temporal Operators in the B Refinement

✍ Scribed by Peled, Doron A.; Tsay, Yih-Kuen

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Auto

✍ Chakraborty, Supratik; Mukund, Madhavan 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 319 KB

[Lecture Notes in Computer Science] Auto

✍ Namjoshi, Kedar S.; Yoneda, Tomohiro; Higashino, Teruo; Okamura, Yoshio 📂 Article 📅 2007 🏛 Springer Berlin Heidelberg ⚖ 490 KB