@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}
}