2016 conference paper

Modeling a discrete wet-dry algorithm for hurricane storm surge in alloy

Abstract state machines, alloy, b, tla, vdm, and z (abz 2016), 9675, 256–261.

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