Home  |  english  |  Impressum  |  Datenschutz  |  Sitemap  |  KIT

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
Nummer:3
Band:25
Jahr:2013
Seiten:405-437

BibTeX

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