@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}
}
A Dynamic Logic for Deductive Verification of Concurrent Programs
| Author(s): | Bernhard Beckert and Vladimir Klebanov |
|---|---|
| In: | 5th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) |
| Publisher: | IEEE Computer Society |
| Year: | 2007 |
| Pages: | 141-150 |