Contraste
Aumentar letra
Reducir letra
Centro de relevo
Rocha, Camilo; (2013) Heurísticas de búsqueda de prueba automática en la herramienta de análisis invariante de maude
Ayala Rincón, Mauricio; Hartenstein, Reiner W. Maya Neto, Rinaldi Jacobi, Ricardo P. Llanos, Carlos Humberto. (2002) Especificación, exploración y simulación arquitectónicas a través de la lógica de reescritura
Rocha, Camilo; Meseguer, José. (2007) Un procedimiento de decisión de reescritura de la lógica silogística de Dijkstra-Scholten con complementos
Reina Quintero, Antonia M.; Torres, Jesús. (2004) Componentes + aspectos: una descripción general
Figueiredo, Lucília; Camarão, Carlos. (2002) Una vista sobre tipos abstractos y extensibles