You are here

Home

Publications

Export 1 results:
Filters: Keyword is Trace Slicing and Author is J. Espert  [Clear All Filters]
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.

created with Drupal | customized by Giovanni Bacci