Title

Constructing programs from specifications

Title Supplement

Proceedings of the IFIP TC 2/WG 2.1 Working Conference on Constructive Programs from Specifications, Pacific Grove, California, USA, 13 - 16 May 1991

Person Involved

Corporate Author

International Federation for Information Processing -IFIP-

Publisher

Publishing Place

Amsterdam

Publication Date

1991

ISBN

0-444-89184-6

Conference