1991
Conference Proceeding
Title

Logical theory for program construction

Title Supplement
25.2. - 1.3.1991 (9109)
Person Involved
Finance, J.-P.
Jähnichen, S.
Loeckx, J.
Wirsing, M.
Publisher
Publishing Place
Wadern
Conference
Language
English