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