A Dynamic Logic for Deductive Verification of Multi-threaded Programs

Zeitschriftenartikel

Autor(en):Bernhard Beckert und Vladimir Klebanov
Zeitschrift:Formal Aspects of Computing
Verleger:Springer
Band:25
Jahr:2013
Nummer:3
Seiten: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
}