Proceedings 9th International Workshop on Automated Specification and Verification of Web Systems, WWV 2013, Florence, Italy, 6th June 2013.

Published in: WWV (2013)

Keyphrases

formal methods
website
expert systems
asynchronous circuits
international conference
lecture notes in artificial intelligence
distributed systems
information sources
semantic web
international workshop
formal verification
information retrieval
high level
management system
mission critical
user behaviour