Wave Equation Numerical Resolution: A Comprehensive Mechanized Proof of a C Program - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis. Wave Equation Numerical Resolution: A Comprehensive Mechanized Proof of a C Program. Journal of Automated Reasoning, 50(4):423-456, 2013. [doi]

This author has not been identified. Look up 'Sylvie Boldo' in GoogleThis author has not been identified. Look up 'François Clément' in GoogleThis author has not been identified. Look up 'Jean-Christophe Filliâtre' in GoogleThis author has not been identified. Look up 'Micaela Mayero' in GoogleThis author has not been identified. Look up 'Guillaume Melquiond' in GoogleThis author has not been identified. Look up 'Pierre Weis' in Google

runs on WebDSL