✦ LIBER ✦

Towards the formal specification of a simple programming support environment

✍ Scribed by Sufrin, Bernard; Woodcock, Jim

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Automated Generation of Strictly Conform

✍ A. S. Kossatchev; P. Kutter; M. A. Posypkin 📂 Article 📅 2004 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 111 KB

Creating a supportive environment for co

✍ Claire F. Sullivan 📂 Article 📅 1994 🏛 Springer 🌐 English ⚖ 881 KB

Principles of program synthesis for real

✍ A. A. Ros' 📂 Article 📅 1986 🏛 Springer US 🌐 English ⚖ 702 KB

Towards the Prediction of Heat and Mass

✍ Akhilesh Tiwari; Jean-Pierre Fontaine 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 331 KB

[Society of Petroleum Engineers SPE Annu

✍ Hayes, Hanna; Rousseau, Meta 📂 Article 📅 2012 🏛 Society of Petroleum Engineers ⚖ 128 KB