You are here

Publications

Export 2 results:
Filters: Author is J. Espert  [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.
2011
M. Alpuente, Ballis, D., Espert, J., and Romero, D. O., Backward Trace Slicing for Rewriting Logic Theories, 23rd International Conference on Automated Deduction, CADE 23. Springer, 2011.