Options
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