Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings - Rusu, Vlad; Rusu, Vlad (Springer International Publishing : Imprint: Springer, 2018)