Static correction of Maude programs with assertions

María Alpuente, Demis Ballis, Julia Sapiña. Static correction of Maude programs with assertions. Journal of Systems and Software, 153:64-85, 2019. [doi]

Abstract

Abstract is missing.