English
Deutsch
Log In
Password Login
or
Log in with Fraunhofer Smartcard
Research Outputs
Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Hauptwerk
Logical theory of program construction
Information
Publications
Export
Statistics
Options
Title
Logical theory of program construction
Titel Supplements
07.03. - 11.03.94 (9410)
Verlag
IBFI
Verlagsort
Wadern
Datum
1994
Serie
Dagstuhl-Seminar-Report
Konferenz
Workshop "Logical Theory of Program Construction" 1994