Ensuring correctness at the application level: A software framework approach

Eloisa Bentivegna, Gabrielle Allen, Oleg Korobkin, Erik Schnetter

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint

Dive into the research topics of 'Ensuring correctness at the application level: A software framework approach'. Together they form a unique fingerprint.

Mathematics