Normal view
MARC view
- Sun, Jing
Sun, Jing (Имя лица)
Machine generated authority record.
Work cat.: (RU-ToGU): Groves, Lindsay. editor. 415443, Formal Methods and Software Engineering, 2013.