Refinement of State-Based Specifications in Scientific Computing.

Simple item page
dc.contributor.advisorJohn Baugh, Chair
dc.contributor.advisorGnanamanikam Mahinthakumar, Member
dc.contributor.advisorEmily Berglund, Member
dc.contributor.authorBenavides Forero, Juan David
dc.date.accepted2023-05-26
dc.date.accessioned2023-06-01T18:45:40Z
dc.date.available2023-06-01T18:45:40Z
dc.date.defense2023-04-27
dc.date.issued2023-04-27
dc.date.released2023-06-01
dc.date.reviewed2023-05-12
dc.date.submitted2023-05-04
dc.degree.disciplineCivil Engineering
dc.degree.levelthesis
dc.degree.nameMaster of Science
dc.identifier.otherdeg33488
dc.identifier.urihttps://www.lib.ncsu.edu/resolver/1840.20/40994
dc.titleRefinement of State-Based Specifications in Scientific Computing.

Files

Original bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
etd.pdf
Size:
1.16 MB
Format:
Adobe Portable Document Format
Download

Collections

Theses