Contraste
Aumentar letra
Reducir letra
Centro de relevo
Rocha, Camilo; Meseguer, José. (2007) Un procedimiento de decisión de reescritura de la lógica silogística de Dijkstra-Scholten con complementos
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; Muñoz, César. (2000) Sustituciones explícitas y todo eso
Kumar Singh, Awadhesh; Ghanekar, Umesh Bandyopadhyay, Anup Kumar. (2005) Especificación de la red móvil mediante un enfoque formal similar a wp
Nicolle, Christophe; (2001) Una herramienta de especificación de metamodelo basada en la lógica de descripción y XML-DATA