Rewriting Logic and Its Applications
Subtitle: 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS 2012, Tallinn, Estonia, March 24-25, ...
Publisher: Springer
Published: Sep 14, 2012
Format: paperback
Number of pages: 249
ISBN-13: 9783642340048
Notes: Source title: Rewriting Logic and Its Applications: 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS 2012, Tallinn, Estonia, March 24-25, ... (Lecture Notes in Computer Science (7571))