Vista normal
Vista MARC
Maibaum, Tom. editor. (Nombre personal)
Machine generated authority record.
Work cat.: (UQROO)65303: Liu, Shaoying. editor. 144758, Formal Methods and Software Engineering
Machine generated authority record.
Work cat.: (UQROO)65303: Liu, Shaoying. editor. 144758, Formal Methods and Software Engineering