✦ LIBER ✦

Formal methods: state of the art and future directions

✍ Scribed by Clarke, Edmund M.; Wing, Jeannette M.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal methods: state of the art and fut

✍ Clarke, Edmund M.; Wing, Jeannette M. 📂 Article 📅 1996 🏛 Association for Computing Machinery 🌐 English ⚖ 291 KB

Ridesharing: The state-of-the-art and fu

✍ Furuhata, Masabumi; Dessouky, Maged; Ordóñez, Fernando; Brunet, Marc-Etienne; Wa 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 794 KB

Intravascular Ultrasound: State of the A

✍ Paul G Yock MD; Peter J Fitzgerald MD; PhD 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 814 KB

Interventional electrophysiology: State-

✍ Michael D. Lesh 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 70 KB

Information visualization state of the a

✍ Milojević, Staša; Hemminger, Bradley M.; Priem, Jason; Chen, Chaomei; Leydesdorf 📂 Article 📅 2012 🏛 Wiley (John Wiley & Sons) 🌐 English ⚖ 110 KB

Implementation research: state of the ar

✍ Jonathan D Linton 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 160 KB