Normal view
MARC view
- Maibaum, Tom
Maibaum, Tom (Имя лица)
Machine generated authority record.
Work cat.: (RU-ToGU): Cuellar, Jorge. 327735, FM 2008: Formal Methods, 2008.