✦ LIBER ✦

Specifying and Refining Internal Operations in Z

✍ Scribed by John Derrick; Eerke Boiten; Howard Bowman; Maarten Steen

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Structural Refinement of Systems Specifi

✍ John Derrick; Graeme Smith 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 241 KB

A guideline for specifying compliance in

✍ Kim, Byoung-Ho ;Yi, Byung-Ju ;Oh, Sang-Rok ;Suh, Il Hong 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 275 KB

Specifying distributed CICS in Z: Access

✍ Iain S. C. Houston; Mark B. Josephs 📂 Article 📅 1994 🏛 Springer 🌐 English ⚖ 468 KB

Refinement in Z and Object-Z Volume 458

✍ Derrick, John; Boiten, Eerke 📂 Article 📅 2001 🏛 Springer London ⚖ 459 KB

Relational concurrent refinement part II

✍ Eerke Boiten; John Derrick; Gerhard Schellhorn 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 460 KB

Relating audit and internal control obje

✍ Bainbridge, D.Raymond; Paul, John W. 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 757 KB