7 citations · 7 across the 1 of their papers we have counts for
1 paper
María Alpuente, Demis Ballis, Javier Espert +2
Web-TLR is a Web verification engine that is based on the well-established Rewriting Logic--Maude/LTLR tandem for Web system specification and model-checking. In Web-TLR, Web appli…