Correct Software in Web Applications and Web Services
- (view affiliations)
The book identifies correctness problems in web applications and how these can be solved by formalized software engineering methods
New software tools are presented
This volume constitutes selected and extended papers of a European Science Foundation (ESF) strategic Workshop.
- 6.5k Downloads
Part of the Texts & Monographs in Symbolic Computation book series (TEXTSMONOGR)