@article{917157,
      author = {Nakao, Mitsuhiro T. and Plum, Michael, and Watanabe,  Yoshitaka,},
      url = {http://library.usi.edu/record/917157},
      title = {Numerical verification methods and computer-assisted  proofs for partial differential equations /},
      doi = {https://doi.org/10.1007/978-981-13-7669-6},
      recid = {917157},
      pages = {1 online resource (xiii, 467 pages) :},
}