A Dynamic Logic for Deductive Verification of Concurrent Java Programs With Condition Variables

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