Normal view
MARC view
- Davies, Jim
Davies, Jim (Имя лица)
Machine generated authority record.
Work cat.: (RU-ToGU): Davies, Jim., Integrated Formal Methods, 2007.