Logik und Formale Methoden

Eine Fallstudie zu modellbasiertem Testen von Webservices