Normal view
MARC view
Dang Van Hung, Oleg Sokolsky (Personal Name)
Machine generated authority record
Work cat.: (OSt)1650302: Dang Van Hung, Oleg Sokolsky, Automated Technology for Verification and Analysis