Media type: E-Article Title: Imposing assertions in Maude via program transformation Contributor: Alpuente, María; Ballis, Demis; Sapiña, Julia Published: Elsevier BV, 2019 Published in: MethodsX, 6 (2019), Seite 2577-2583 Language: English DOI: 10.1016/j.mex.2019.10.035 ISSN: 2215-0161 Origination: Footnote: Access State: Open Access