May Haydar Houari A. Sahraoui Alexandre Petrenko Specification Patterns for Formal Web Verification. 240-246 2008 ICWE http://dx.doi.org/10.1109/ICWE.2008.38 conf/icwe/2008 db/conf/icwe/icwe2008.html#HaydarSP08