ser - ¿Cuáles son las fortalezas y debilidades del asistente de pruebas Isabelle en comparación con

verification - Límites de los solucionadores de SMT - edu.lat

testing - sobre - multiplos en haskell - edu.lat

functional programming - ¿Cuáles son las equivalencias más interesantes que surgen del isomorfismo d

programa - Métodos formales en C++ para software crítico de seguridad.

programming languages - Programación docente y métodos formales. - edu.lat