Lightweight Formal Methods in Scientific Computing.

dc.contributor.advisorJohn Baugh, Chair
dc.contributor.advisorGnanamanikam Mahinthakumar, Member
dc.contributor.advisorSanmugavadivel Ranjithan, Member
dc.contributor.advisorMurthy Guddati, Member
dc.contributor.authorDyer, Andrew Tristan
dc.date.accepted2020-06-30
dc.date.accessioned2020-07-01T12:31:13Z
dc.date.available2020-07-01T12:31:13Z
dc.date.defense2020-06-17
dc.date.issued2020-06-17
dc.date.released2020-07-01
dc.date.reviewed2020-06-30
dc.date.submitted2020-06-29
dc.degree.disciplineCivil Engineering
dc.degree.leveldissertation
dc.degree.nameDoctor of Philosophy
dc.identifier.otherdeg22249
dc.identifier.urihttps://www.lib.ncsu.edu/resolver/1840.20/38064
dc.titleLightweight Formal Methods in Scientific Computing.

Files

Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
etd.pdf
Size:
2.51 MB
Format:
Adobe Portable Document Format

Collections