Embedding imperative synchronous languages in interactive theorem
| Zugehörige Institution(en) am KIT | Fakultät für Informatik – Institut für Rechnerentwurf und Fehlertoleranz (IRF) |
| Publikationstyp | Buchaufsatz |
| Publikationsjahr | 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. |