TY  - BOOK
AU  - Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe
TI  - Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
SN  - 9789811376696
PB  - Springer
UR  - https://link.springer.com/openurl?genre=book&isbn=978-981-13-7669-6
ER  -