Vista normal
Vista MARC
Henson, Martin C. editor. (Nombre personal)
Machine generated authority record.
Work cat.: (UQROO)63753: Bjȹrner, Dines. editor. 133458, Logics of Specification Languages
Machine generated authority record.
Work cat.: (UQROO)63753: Bjȹrner, Dines. editor. 133458, Logics of Specification Languages