Sign in
Special issue on Automated Specification and Verification of Web Systems.
Laura Kovács
Rosario Pugliese
Josep Silva
Francesco Tiezzi
Published in:
J. Log. Algebraic Methods Program. (2013)
Keyphrases
</>
special issue
formal methods
ai edam
international journal
ecml pkdd
website
complex systems
asynchronous circuits
information systems
knowledge management
web technologies
applied intelligence
distributed systems
computer aided
end users
formal specification
expert systems
high level
concurrent systems