✦ LIBER ✦

Toward Formal-Methods Oecumenism?

✍ Scribed by Kordon, F.; Petrucci, L.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Oecumenical Chemists

📂 Article 📅 1967 🏛 Nature Publishing Group 🌐 English ⚖ 201 KB

Towards theoretical formalisms

✍ Olaf Breidbach; Jürgen Jost; Peter Stadler 📂 Article 📅 2007 🏛 Springer-Verlag 🌐 English ⚖ 78 KB

Eratosthenes’ map of the oecumene

✍ Lukoševičius, Viktoras; Duksa, Tomas 📂 Article 📅 2012 🏛 Vilnius Gediminas Technical University 🌐 English ⚖ 598 KB

Toward a wider use of formal methods for

✍ Yamine Ait Ameur; Frédéric Boniol; Virginie Wiels 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 135 KB

Toward a Formal Philosophy of Hypercompu

✍ Selmer Bringsjord; Michael Zenzen 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 166 KB

Formal Methods Europe Update

✍ John S. Fitzgerald 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 42 KB