Title

Logical theory of program construction
Titel Supplements
07.03. - 11.03.94 (9410)
Verlag
Verlagsort
Wadern
Datum
1994
Serie
Dagstuhl-Seminar-Report
Konferenz