Normal view
MARC view
- IFIP Technical Committee 2--Programming
IFIP Technical Committee 2--Programming (Corporate Name)
Machine generated authority record.
Work cat.: (NUST)193460: Formal models in programming :, 1985.