KIT | KIT-Bibliothek | Impressum

Formalizing and implementing Gries's program development method in dynamic logic

Heisel, Maritta



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buchaufsatz
Jahr 1989
Sprache Englisch
Identifikator KITopen ID: 213489
Erscheinungsvermerk In: Workshop Verification, Construction and Synthesis of Programs, Karlsruhe 1989. Karlsruhe 1989. S. 59-61. (Interner Bericht. Fakultaet fuer Informatik, Universitaet Karlsruhe. Nr. 1989,10.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page