Tool Support for Model Checking of Web Application Designs.

Marco Brambilla, Jordi Cabot, Nathalie Moreno

Browse the full ICWE paper archive.