Specification and Validation of Numerical Algorithms with the Gradual Contracts Pattern
Fritze, René; Rave, Stephan
Research article in edited proceedings (conference) | Peer reviewedDetails about the publication
Publisher: Clark, David; Menendez, Hector; Cavalli, Ana Rosa
Book title: Testing Software and Systems
Page range: 181-188
Publishing company: Springer International Publishing
Place of publication: Cham
Title of series: Lecture Notes in Computer Science
Status: Published
Release year: 2022
Language in which the publication is written: English
Conference: ICTSS 2021, London, United Kingdom
Link to the full text: 10.1007/978-3-031-04673-5_14
Keywords: numerical algorithms, software, testing
Authors from the University of Münster
| Fritze, René | Mathematical Institute |
| Rave, Stephan | Professorship of Applied Mathematics, especially Numerics (Prof. Ohlberger) |