Rewriting Logic and Its Applications: 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, ... Notes in Computer Science, Band 11152)

Applications

von Vlad Rusu

Taschenbuch

ISBN-13: 978-3-319-99839-8

ISBN-10: 3-319-99839-0

Springer · 2018