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/ |
