KIT | KIT-Bibliothek | Impressum

Structural simulation proofs based on ASMs even for non-terminating programs

Glesner, Sabine; Zimmermann, Wolf



Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Buchaufsatz
Jahr 2001
Sprache Englisch
Identifikator KITopen ID: 32062001
Erscheinungsvermerk In: Proceedings of the ASM-Workshop, 8th International Conference on Computer Aided Systems Theory, EUROCAST 2001, Las Palmas, Spain 2001.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page