Title: Rewriting Logic And Its Applications 8th International Workshop Wrla 2010 Held As A Satellite Event Of Etaps 2010 Paphos Cyprus March 2021 2010 Revised Selected Papers
Subjects: Logic design, Computer science, Software engineering, Computer logic, Congresses, Logic, symbolic and mathematical