Lightweight Formal Methods in Scientific Computing.

Show full item record

Title: Lightweight Formal Methods in Scientific Computing.
Author: Dyer, Andrew Tristan
Advisors: John Baugh, Chair
Gnanamanikam Mahinthakumar, Member
Sanmugavadivel Ranjithan, Member
Murthy Guddati, Member
Date: 2020-06-17
Degree: Doctor of Philosophy
Discipline: Civil Engineering
URI: https://www.lib.ncsu.edu/resolver/1840.20/38064


Files in this item

Files Size Format View
etd.pdf 2.512Mb PDF View/Open

This item appears in the following Collection(s)

Show full item record