Numerical Software Verification
Majid Zamani, Damien Zufferey
Numerical Software Verification - 1st ed. 2019 - Springer International Publishing 2019 - 11652 - Lecture Notes in Computer Science .
978-3-030-28423-7
1611-3349
Numerical Software Verification - 1st ed. 2019 - Springer International Publishing 2019 - 11652 - Lecture Notes in Computer Science .
978-3-030-28423-7
1611-3349