Vista normal
Vista MARC
Metodo raise(Topical Term)
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.