1 paper
Stephen F. Siegel, Ganesh Gopalakrishnan
This volume contains the proceedings of the Verification of Scientific Software (VSS 2025) workshop, held on 4 May 2025 at McMaster University, Canada, as part of ETAPS 2025. VSS b…