Title

Logical theory of program construction

Title Supplement
07.03. - 11.03.94 (9410)
Person Involved
Publisher
Publishing Place
Wadern
Publication Date
1994
Series
Dagstuhl-Seminar-Report; 84
Conference