KIT | KIT-Bibliothek | Impressum | Datenschutz

A Dynamic Logic for Deductive Verification of Concurrent Programs

Beckert, B. ORCID iD icon; Klebanov, V.


Zugehörige Institution(en) am KIT Institut für Technische Informatik (ITEC)
Publikationstyp Buchaufsatz
Publikationsjahr 2007
Sprache Englisch
Identifikator ISBN: 0-7695-2884-8
KITopen-ID: 1000032951
Erschienen in Software Engineering and Formal Methods (SEFM) 2007, London, UK
Verlag IEEE Computer Society
Seiten 141-150
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page