KIT | KIT-Bibliothek | Impressum
Open Access Logo

A Dynamic Logic for deductive verification of multi-threaded programs

Beckert, B.; Klebanov, V.



Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Zeitschriftenaufsatz
Jahr 2013
Sprache Englisch
Identifikator ISSN: 0934-5043
KITopen ID: 1000039062
Erschienen in Formal Aspects of Computing
Band 25
Heft 3
Seiten 405-437
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page