Julienne: A Trace Slicer for Conditional Rewrite Theories

FM 2012: Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-642-32759-9_5 ◽

2012 ◽

pp. 28-32 ◽

Cited By ~ 2

Author(s):

María Alpuente ◽

Demis Ballis ◽

Francisco Frechina ◽

Daniel Romero

Download Full-text