Normal view
MARC view
- Nipkow, Tobias
Nipkow, Tobias (Имя лица)
Machine generated authority record.
Work cat.: (RU-ToGU): Misra, Jayadev. 322366, FM 2006: Formal Methods, 2006