May Haydar, Houari A. Sahraoui, Alexandre Petrenko. Specification Patterns for Formal Web Verification. In Daniel Schwabe, Francisco Curbera, Paul Dantzig, editors, Proceedings of the Eighth International Conference on Web Engineering, ICWE 2008, 14-18 July 2008, Yorktown Heights, New York, USA. pages 240-246, IEEE, 2008. [doi]
Abstract is missing.