Normal view
MARC view
- Choi, Jin-Young
Choi, Jin-Young (Имя лица)
Machine generated authority record.
Work cat.: (RU-ToGU): Hutchison, David. 81687, Automated Technology for Verification and Analysis, 2008.