1 paper
Matthew Sottile, Mohit Tekriwal, John Sarracino
Correctness in scientific computing (SC) is gaining increasing attention in the formal methods (FM) and programming languages (PL) community. Existing PL/FM verification techniques…