Workshop Verification, Construction and Synthesis of Programs, Karlsruhe 1989

Furbach, U.; Heisel, Maritta; Reif, Wolfgang; Stephan, Werner [Hrsg.]

Seitenaufrufe: 17
seit 16.05.2018

Zugehörige Institution(en) am KIT	Fakultät für Informatik – Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp	Proceedingsband
Publikationsjahr	1989
Sprache	Englisch
Identifikator	KITopen-ID: 212889
Erscheinungsvermerk	Karlsruhe 1989. (Interner Bericht. Fakultaet fuer Informatik, Universitaet Karlsruhe. Nr. 1989,10.)