@InProceedings{BeckertKlebanov2007,
author = {Bernhard Beckert and Vladimir Klebanov},
title = {A Dynamic Logic for Deductive Verification of
Concurrent Programs},
booktitle = {5th {IEEE} International Conference on Software Engineering
and Formal Methods ({SEFM} 2007)},
editor = {Mike Hinchey and Tiziana Margaria},
publisher = {{IEEE} Computer Society},
venue = {London, England, {UK}},
pages = {141--150},
eventdate = {2007-09-10/2007-09-14},
month = sep,
year = {2007}
}