"Specification and Verification of Web Applications in Rewriting Logic."

María Alpuente, Demis Ballis, Daniel Romero (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics