KIT | KIT-Bibliothek | Impressum

A Dynamic Logic for Deductive Verification of Concurrent Programs

Beckert, B.; Klebanov, V.



Zugehörige Institution(en) am KIT Institut für Technische Informatik (ITEC)
Publikationstyp Buchaufsatz
Jahr 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, Washington
Seiten 141-150
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page