27622722
Results 1 to 1 of 1
Selection :
Wave Equation Numerical Resolution: A Comprehensive Mechanized Proof of a C ProgramBOLDO, Sylvie; CLEMENT, François; FILLIATRE, Jean-Christophe et al.Journal of automated reasoning. 2013, Vol 50, Num 4, pp 423-456, issn 0168-7433, 34 p.Article