Asteasuain, Fernando; Dubinsky, Manuel; Díaz, Federico José; Lagostena, Juan
(Red de Universidades con Carreras en Informática, 2017)
El objetivo general del presente proyecto es facilitar la especificación formal del comportamiento de artefactos de software. La especificación formal del comportamiento esperado de artefactos de software ha sido identificada ...