Extra Materials Archive

Book cover

Rewriting Logic and Its Applications

10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers

© 2014

Soft cover - Print (ISBN: 978-3-319-12903-7)

Electronic (ISBN: 978-3-319-12904-4)

View this book on SpringerLink