| dc.contributor.advisor |
John Baugh, Chair |
|
| dc.contributor.advisor |
Gnanamanikam Mahinthakumar, Member |
|
| dc.contributor.advisor |
Sanmugavadivel Ranjithan, Member |
|
| dc.contributor.advisor |
Murthy Guddati, Member |
|
| dc.contributor.author |
Dyer, Andrew Tristan |
|
| dc.date.accessioned |
2020-07-01T12:31:13Z |
|
| dc.date.available |
2020-07-01T12:31:13Z |
|
| dc.date.issued |
2020-06-17 |
|
| dc.date.submitted |
2020-06-29 |
|
| dc.identifier.other |
deg22249 |
|
| dc.identifier.uri |
https://www.lib.ncsu.edu/resolver/1840.20/38064 |
|
| dc.title |
Lightweight Formal Methods in Scientific Computing. |
|
| dc.degree.name |
Doctor of Philosophy |
|
| dc.degree.level |
dissertation |
|
| dc.degree.discipline |
Civil Engineering |
|
| dc.date.accepted |
2020-06-30 |
|
| dc.date.defense |
2020-06-17 |
|
| dc.date.released |
2020-07-01 |
|
| dc.date.reviewed |
2020-06-30 |
|
