@inproceedings{BeckertKlevanovVAMP2007,
author = {Bernhard Beckert and Vladimir Klebanov},
title = {A Dynamic Logic for Deductive Verification of Concurrent Java
Programs With Condition Variables},
booktitle = {1st International Workshop on Verification
and Analysis of Multi-threaded Java-like Programs (VAMP 2007),
Satellite Workshop of CONCUR 2007: the 18th International
Conference on Concurrency Theory},
editors = {C. Haack and M. Huisman and J. Kiniry and E. Poll},
venue = {Lisbon, Portugal},
year = {2007}
}
