Home›Books›IFIP TC 2/WG 2.1 Working Conference on Constructing Programs from Specifications (1991 Pacific Grove, Calif.)IFIP TC 2/WG 2.1 Working Conference on Constructing Programs from Specifications (1991 Pacific Grove, Calif.)No biography available.No works found.