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