"Formal Framework for Automated Analysis and Verification of Web-Based ..."

May Haydar (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics