@article{BeckertKlebanov2013,
author = {Bernhard Beckert and
Vladimir Klebanov},
title = {A {D}ynamic {L}ogic for Deductive Verification of Multi-Threaded
Programs},
journal = {Formal Aspects of Computing},
publisher = {Springer},
issn = {0934-5043},
volume = {25},
number = {3},
year = {2013},
month = may,
pages = {405-437}
}
A Dynamic Logic for Deductive Verification of Multi-Threaded Programs
| Autor(en): | Bernhard Beckert und Vladimir Klebanov |
|---|---|
| Zeitschrift: | Formal Aspects of Computing |
| Verleger: | Springer |
| Nummer: | 3 |
| Band: | 25 |
| Jahr: | 2013 |
| Seiten: | 405-437 |