Model-Checking Web Applications with Web-TLR.

Mara Alpuente, Demis Ballis, Javier Espert, Daniel Romero

Browse the full ATVA paper archive.