Información del autor
Documentos disponibles escritos por este autor (1)
Añadir el resultado a su cesta Hacer una sugerencia Refinar búsqueda
texto impreso
Codescu, Mihai ; Mossakowski, Till ; Riesco Rodríguez, Adrián ; Christian, Maeder | 2010-09Maude modules can be understood as models that can be formally analyzed and verified with respect to different properties expressing various formal requirements. However, Maude lacks the formal tools to perform some of these analyses and thus th[...]
