Rewriting Logic and Its Applications
Subtitle: 8th International Workshop, WRLA 2010, Held As a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers
Publisher: Springer London, Limited
Published: 2010
Language: eng
ISBN-13: 9783642163104