✦ LIBER ✦

ZRC – A Refinement Calculus for Z

✍ Scribed by Ana Cavalcanti; Jim Woodcock

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Calculus for Schemas in Z

✍ S.M. Brien; A.P. Martin 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 374 KB

A Partition Refinement Algorithm for the

✍ Marco Pistore; Davide Sangiorgi 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 480 KB

A sequential real-time refinement calcul

✍ Ian J. Hayes; Mark Utting 📂 Article 📅 2001 🏛 Springer-Verlag 🌐 English ⚖ 341 KB

A Calculus for Generation, Verification

✍ Faisal Abouzaid; John Mullins 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 355 KB

A Refinement Calculus for Shared-Variabl

✍ J. Dingel 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 527 KB

ERC – An object-oriented refinement calc

✍ Richard F. Paige; Jonathan S. Ostroff 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 270 KB