Wave Equation Numerical Resolution: A Comprehensive Mechanized Proof of a C Program
Sylvie Boldo, François Clément, Jean-Christophe Filliâtre…Volume:
50
Language:
english
DOI:
10.1007/s10817-012-9255-4
Date:
April, 2013
File:
PDF, 1.71 MB
english, 2013