✦ LIBER ✦

Procedure compilation in the refinement calculus

✍ Scribed by K. Lermer; C. J. Fidge

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

The Least Conjunctive Refinement and Pro

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

Contract-based Mutation Testing in the R

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

Fusion and simultaneous execution in the

✍ Ralph-Johan Back; Michael Butler 📂 Article 📅 1998 🏛 Springer-Verlag 🌐 English ⚖ 163 KB

General parameterised refinement and rec

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