Vista normal
Vista MARC
Cuesta, Juan Eduardo(Personal Name)
Machine generated authority record
Work cat.: (arssjubce)16030: Ortiz, Antonio Claudio 22663, Herramienta de edición para la creación de especificación formal basada en el lenguaje RSL (raise specification language)., 2016.