A Dynamic Logic for Deductive Verification of Concurrent Programs
Beckert, B.
; Klebanov, V.
; 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 |