You are here

Publications

Export 1 results:
Filters: Keyword is Web-TLR  [Clear All Filters]
2010
M. Alpuente, Ballis, D., Espert, J., and Romero, D. O., Model-checking Web Applications with Web-TLR, 8th International Symposium on Automated Technology for Verification and Analysis (ATVA 2010). Springer, 2010.