Invariant-driven specifications in Maude

Manuel Roldán, Francisco Durán, Antonio Vallecillo. Invariant-driven specifications in Maude. Science of Computer Programming, 74(10):812-835, 2009. [doi]

Abstract

Abstract is missing.