Lightweight Formal Methods in Scientific Computing.
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 |
View/ |