✦ LIBER ✦

An approach to the formal analysis of license interoperability

✍ Scribed by Fujita, Kunihiko; Tsukada, Yasuyuki

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An approach to the formalization of clas

✍ A. A. Dorodnitsyn; M. F. Kaspshitskaya; I. V. Sergienko 📂 Article 📅 1977 🏛 Springer US 🌐 English ⚖ 889 KB

An approach to formalization and analysi

✍ L. F. Gulyanitskii; O. V. Volkovich; S. A. Malyshko 📂 Article 📅 1994 🏛 Springer US 🌐 English ⚖ 414 KB

An Algebraic Approach to Formal Verifica

✍ Kanji Hirabayashi 📂 Article 📅 2001 🏛 Springer US 🌐 English ⚖ 36 KB

An Approach to Formal Specification of C

✍ Leung, W.H.; Ramamoorthy, C.V. 📂 Article 📅 1980 🏛 IEEE 🌐 English ⚖ 1024 KB

Early Analysis of Critical Faults: An Ap

✍ Das, S.; Banerjee, A.; Dasgupta, P. 📂 Article 📅 2012 🏛 IEEE 🌐 English ⚖ 543 KB

An approach to the formal specification

✍ George S. Carson 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 653 KB