✦ LIBER ✦

Investigating the Integration of two Formal Methods

✍ Scribed by Juan Bicarregui; Brian Matthews; Brian Ritchie; Sten Agerholm

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal methods for verification of websi

✍ M. R. Kogalovsky; E. N. Efimova; T. A. Rybina; V. B. Brakhin 📂 Article 📅 2000 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 585 KB

The industrialization of formal methods

✍ John S. Fitzgerald; Stefania Gnesi; Dino Mandrioli 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 98 KB

Two methods of integration of the Kolmog

✍ Nguen Dong An' 📂 Article 📅 1987 🏛 Springer 🌐 English ⚖ 345 KB

The industrial use of formal methods

✍ Martyn Thomas 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 668 KB

The meaning of “formal”: from weak to st

✍ Pierre Wolper 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 165 KB

Formalization of the integral Fourier tr

✍ Z. Navickas 📂 Article 📅 1992 🏛 Springer 🌐 English ⚖ 397 KB