@article{722887,
      recid = {722887},
      author = {Nipkow, Tobias, and Klein, Gerwin,},
      title = {Concrete semantics with Isabelle/HOL / [electronic  resource] :},
      pages = {1 online resource (xiii, 298 p.) :},
      url = {http://library.usi.edu/record/722887},
      doi = {https://doi.org/10.1007/978-3-319-10542-0},
}