Creadores en #Técnicas para la Verificación, Prueba y Documentación de Programas