2018 journal article

Formal methods and finite element analysis of hurricane storm surge: A case study in software verification

Science of Computer Programming, 158, 100–121.

By: J. Baugh & A. Altuntas

Source: NC State University Libraries
Added: August 6, 2018