Dynamic Validation of Maude Prototypes of UML Models [chapter]

Francisco Durán, Manuel Roldán, Antonio Moreno, José María Álvarez
2014 Lecture Notes in Computer Science  
doi:10.1007/978-3-642-54624-2_11 fatcat:puyahiwxcbhyhnxf4mdwsmjmfe