Normal view
MARC view
- Rungta, Neha
Rungta, Neha (Имя лица)
Machine generated authority record.
Work cat.: (RU-ToGU): Brat, Guillaume. editor. 416955, NASA Formal Methods, 2013.