2017 conference paper

Verifying Concurrency in an Adaptive Ocean Circulation Model

Proceedings of the First International Workshop on Software Correctness for HPC Applications - Correctness'17.

By: A. Altuntas & J. Baugh

Source: ORCID
Added: December 6, 2018