0 Ina Jo

Metodología, lenguaje y conjunto integrado de herramientas de software para la especificación y verificación formal del software, que permite producir programas correctos y confiables.

2018-11-28