KIT | KIT-Bibliothek | Impressum

Embedding imperative synchronous languages in interactive theorem

Schneider, Klaus



Zugehörige Institution(en) am KIT Institut für Rechnerentwurf und Fehlertoleranz (IRF)
Publikationstyp Buchaufsatz
Jahr 2001
Sprache Deutsch
Identifikator KITopen ID: 30392001
Erscheinungsvermerk In: Proceedings of the International Conference on Application of Concurrency to System Design, ICACSD 2001, Newcastle upon Tyne, Great Britain 2001. Los Alamitos, Calif. 2001. S. 143-156.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page