@article{772512,
      author = {Ahrendt, Wolfgang, and Beckert, Bernhard, and Bubel,  Richard, and Hähnle, Reiner, and Schmitt, Peter H., and  Ulbrich, Mattias,},
      url = {http://library.usi.edu/record/772512},
      title = {Deductive Software Verification -- The KeY Book : From  Theory to Practice /},
      doi = {https://doi.org/10.1007/978-3-319-49812-6},
      recid = {772512},
      pages = {1 online resource (xxxii, 702 pages) :},
}