Login / Signup
Editorial for the JLAMP Special Issue on automated specification and verification of web systems.
António Ravara
Josep Silva
Published in:
J. Log. Algebraic Methods Program. (2015)
Keyphrases
</>
special issue
ai edam
applied intelligence
international journal
asynchronous circuits
ecml pkdd
website
formal verification
special section
high level
formal methods
web applications
end users
logic programs
semantic web
complex systems
distributed systems
web services
web pages