A Dynamic Logic for Deductive Verification of Concurrent Programs

Reviewed Paper In Proceedings

Author(s):Bernhard Beckert and Vladimir Klebanov
In:Proceedings, 5th IEEE International Conference on Software Engineering and Formal Methods (SEFM), London, UK
Publisher:IEEE Press
Year:2007

BibTeX

@InProceedings{BeckertKlebanov2007,
  author = 	 {Bernhard Beckert and Vladimir Klebanov},
  title = 	 {A Dynamic Logic for Deductive Verification of 
                  Concurrent Programs},
  booktitle =    {Proceedings, 
                  5th IEEE International Conference on Software Engineering 
                  and Formal Methods (SEFM), 
                  London, UK},
  editor =       {Mike Hinchey and Tiziana Margaria},
  publisher =    {IEEE Press},
  year =         {2007}
}