Normal view
MARC view
- Petre, Luigia
Petre, Luigia (Имя лица)
Machine generated authority record.
Work cat.: (RU-ToGU): Butler, Michael. 323024, Integrated Formal Methods, 2006.