A Dynamic Logic for Deductive Verification of Multi-threaded Programs

Journal Article

Author(s):Bernhard Beckert and Vladimir Klebanov
Journal:Formal Aspects of Computing
Publisher:Springer
Volume:25
Year:2013
Number:3
Pages:405-437

BibTeX

@article{FAC2012,
   author      = {Bernhard Beckert and Vladimir Klebanov},
   title       = {A Dynamic Logic for Deductive Verification of Multi-threaded Programs},
   journal     = {Formal Aspects of Computing},
   publisher   = {Springer},
   issn        = {0934-5043},
   volume      = {25},
   number      = {3},
   pages       = {405-437},
   year        = {2013},
   month       = may
}