Rewriting logic and its applications : 9th International Workshop, WRLA 2012, held as a satellite event of ETAPS, Tallinn, Estonia, March 24-25, 2012 : revised selected papers

Bibliographic Information

Rewriting logic and its applications : 9th International Workshop, WRLA 2012, held as a satellite event of ETAPS, Tallinn, Estonia, March 24-25, 2012 : revised selected papers

Franciso Durán (ed.)

(Lecture notes in computer science, 7571 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues)

Springer, c2012

Available at  / 1 libraries

Search this Book/Journal

Note

Includes bibliographical references and index

Related Books: 1-1 of 1

Details

Page Top