Normal view
MARC view
Tkachuk, Oksana (Personal Name)
Machine generated authority record.
Work cat.: (OSt)280815: NASA formal methods : 8th international symposium, NFM, proceedings, Minneapolis, MN, USA, June 7-9, 2016 (e-book), 2016