2023 conference paper

Verifying ParamGen: A case study in scientific software abstraction and modeling

Proceedings of the 2023 Improving Scientific Software Conference, 1–9.

By: A. Altuntas, J. Baugh  & J. Nusbaumer

Source: ORCID
Added: September 30, 2024