Normal view
MARC view
- Groves, Lindsay
Groves, Lindsay (Имя лица)
Machine generated authority record.
Work cat.: (RU-ToGU): Groves, Lindsay. editor., Formal Methods and Software Engineering, 2013.