✦ LIBER ✦

The Least Conjunctive Refinement and Promotion in the Refinement Calculus

✍ Scribed by Brendan P. Mahony

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

Fusion and simultaneous execution in the

✍ Ralph-Johan Back; Michael Butler 📂 Article 📅 1998 🏛 Springer-Verlag 🌐 English ⚖ 163 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