Cite
HARVARD Citation
Nakao, M. et al. (2019) Numerical verification methods and computer-assisted proofs for partial differential equations. [Online]. Singapore : Springer. Available from: http://access.bl.uk/ark:/81055/vdc_100092151446.0x000001