Correct Software in Web Applications and Web Services

by Bernhard Thalheim, Klaus-Dieter Schewe, Andreas Prinz, Bruno Buchberger