Normal view
MARC view
- Chroust, Gerhard,
Chroust, Gerhard, 1941- (Personal Name)
Machine generated authority record.
Work cat.: (NUST)193460: Formal models in programming :, 1985.