La inteligencia artificial eligió a los mejores cinco pilotos de la historia de la Fórmula 1: el único argentino que figura
Seguridad en energía nuclear: desarrollan metodologías de verificación formal de software para sistemas críticos