Normal view
MARC view
- Liu, Shaoying
Liu, Shaoying (Имя лица)
Machine generated authority record.
Work cat.: (RU-ToGU): Hutchison, David. 81687, Formal Methods and Software Engineering, 2008.