Model-Checking Web Applications with Web-TLR | Publicación