Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems

August 14, 2015 · The Ethereal · 🏛 EPTCS 188, 2015

🔮 THE ETHEREAL: The Ethereal
Pure theory — exists on a plane beyond code

"No code URL or promise found in abstract"

Evidence collected by the PWNC Scanner

Authors Maurice H. ter Beek, Alberto Lluch Lafuente arXiv ID 1508.03389 Category cs.LO: Logic in CS Cross-listed cs.PL, cs.SE Citations 0 Venue EPTCS 188, 2015 Last Checked 5 months ago
Abstract
These proceedings contain the papers presented at the 11th International Workshop on Automated Specification and Verification of Web Systems (WWV 2015), which was held on 23 June 2015 in Oslo, Norway, as a satellite workshop of the 20th International Symposium on Formal Methods (FM 2015). WWV is a yearly interdisciplinary forum for researchers originating from the following areas: declarative, rule-based programming, formal methods, software engineering and web-based systems. The workshop fosters the cross-fertilisation and advancement of hybrid methods from such areas.
Community shame:
Not yet rated
📄 View on arXiv 🌐 View on ar5iv 📑 PDF 🎉 Report Code Found
Community Contributions

Found the code? Know the venue? Think something is wrong? Let us know!

📜 Similar Papers

In the same crypt — Logic in CS