✦ LIBER ✦

A Rewriting-based Framework for Web Sites Verification

✍ Scribed by M. Alpuente; D. Ballis; M. Falaschi

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Rule-based System for Web site Verific

✍ D. Ballis; J. García-Vivó 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 191 KB

Rule-based verification of Web sites

✍ M. Alpuente; D. Ballis; M. Falaschi 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 635 KB

Rewriting Logic as a Framework for Gener

✍ Martin Leucker; Thomas Noll 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 332 KB

Rewriting-Based Navigation of Web Sites:

✍ Salvador Lucas 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 186 KB

A framework for web-based learning

✍ Badrul H. Khan 📂 Article 📅 2000 🏛 Springer US 🌐 English ⚖ 83 KB

A Rewriting Strategy for Protocol Verifi

✍ Monica Nesi; Giuseppina Rucci; Massimo Verdesca 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 947 KB