2018 conference paper

State-based formal methods in scientific computation

In M. Butler, A. Raschke, T. S. Hoang, & K. Reichl (Eds.), Abstract State Machines, Alloy, B, TLA, VDM, and Z (pp. 392–396).

By: J. Baugh & T. Dyer

Ed(s): M. Butler, A. Raschke, T. Hoang & K. Reichl

Event: at Cham

Source: ORCID
Added: December 6, 2018