Home  |  deutsch  |  Legals  |  Data Protection  |  Sitemap  |  KIT

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
Number:3
Volume:25
Year:2013
Pages: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}
}