Normal view
MARC view
- Badger, Julia M
Badger, Julia M (Имя лица)
Machine generated authority record.
Work cat.: (RU-ToGU): NASA Formal Methods, 2014.