✦ LIBER ✦

Special issue on Automated Verification of Critical Systems (AVoCS’11)

✍ Scribed by Jones, Cliff; Romanovsky, Alexander

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Special issue on Automated Verification

✍ Lüttgen, Gerald; Merz, Stephan 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 167 KB

Preface of Automated Verification of Cri

✍ Bendisposto, Jens; Leuschel, Michael; Roggenbach, Markus 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 453 KB

Special issue on Automated Specification

✍ Laura Kovács; Temur Kutsia 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 72 KB

Special issue on Automated Specification

✍ Kovács, Laura; Pugliese, Rosario; Silva, Josep; Tiezzi, Francesco 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 113 KB

Special issue on “recent advances in pow

📂 Article 📅 2004 🏛 South China University of Technology and Academy o 🌐 English ⚖ 60 KB

Introduction: Special Issue on the Fourt

✍ Stefania Gnesi; Diego Latella 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 29 KB