Rewriting Logic and Its Applications
Subtitle: 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April ...
Publisher: Springer
Published: Aug 18, 2016
Format: paperback
Number of pages: 200
ISBN-13: 9783319448015
Notes: Source title: Rewriting Logic and Its Applications: 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April ... (Lecture Notes in Computer Science (9942))