✦ LIBER ✦

Fusion and simultaneous execution in the refinement calculus

✍ Scribed by Ralph-Johan Back; Michael Butler

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Least Conjunctive Refinement and Pro

✍ Brendan P. Mahony 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 213 KB

Program inversion in the refinement calc

✍ J. von Wright 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 842 KB

Mutation Testing in the Refinement Calcu

✍ Bernhard K. Aichernig 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 171 KB

Procedure compilation in the refinement

✍ K. Lermer; C. J. Fidge 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 832 KB

Contract-based Mutation Testing in the R

✍ Bernhard K. Aichernig 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 41 KB

General parameterised refinement and rec

✍ Raymond Devillers; Hanna Klaudel; Robert-C Riemann 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 736 KB