Normal view
MARC view
- Kouchnarenko, Olga
Kouchnarenko, Olga (Имя лица)
Machine generated authority record.
Work cat.: (RU-ToGU): Julliand, Jacques. 329434, B 2007: Formal Specification and Development in B, 2006