An Overview of Semantics for the Validation of Numerical Programs

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-540-30579-8_4 ◽

2005 ◽

pp. 59-77 ◽

Author(s):

Matthieu Martel

Download Full-text