
Bariloche, 4 de mayo de 2023.- Un grupo de científicos en computación se encuentran desarrollando un proyecto enfocado en la aplicación de técnicas de verificación formal de software para sistemas críticos en el campo de la producción de reactores nucleares en INVAP S.E.