@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},
pages = {405--437},
year = {2013},
month = may
}