You are here

Home

Publications

Export 1 results:
Filters: Keyword is Trace Slicing  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
A
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