Die Proceedings des WS‑FM 2006 aus Wien bieten einen tiefen Einblick in die Verifikation von Webservices, verbinden theoretische Modelle mit praktischen Anwendungen und zeigen aktuelle Forschungsergebnisse zu verknüpften Servicearchitekturen.