Bibtex:

@inproceedings{k2016,
  AUTHOR    = { Kroening, Daniel },
  TITLE     = { Verification of Concurrent Software },
  BOOKTITLE = { Dependable Software Systems Engineering },
  YEAR      = { 2016 },
  PUBLISHER = { IOS Press },
  PAGES     = { 159--178 },
  ISBN      = { 978-1-61499-626-2 },
  EDITOR    = { Javier Esparza and Orna Grumberg and Salomon Sickert },
}

We welcome feedback and comments at kroening@cs.cmu.edu.
Last modified by Daniel Kröning.