✦ LIBER ✦

On the formal specification and verification of digital circuits

✍ Scribed by Peter J. de Graaff

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal specification and verification of

✍ Jeffrey J Joyce 📂 Article 📅 1988 🏛 Elsevier Science ⚖ 926 KB

Formal Specification and Verification of

✍ S. Gnesi 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 90 KB

An approach to formal specification and

✍ M.A.V Nelson; P.S.C Alencar; D.D Cowan 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 150 KB

Formal specification and verification of

✍ L. Bottacci 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 80 KB

On the Formal Specification and Derivati

✍ Roberto Souto; Maior de Barros 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 845 KB

The EEC workshop on formal specification

✍ D.A Duce 📂 Article 📅 1982 🏛 Elsevier Science ⚖ 273 KB