Vista normal
Vista MARC
Computer Science. (Término temático)
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