Fellow:
Practicum Supervisor:
Hulette, Geoffrey
Practicum Site Name:
Sandia National Laboratories, California
Practicum Site Link:
Practicum Title:
Formal Verification Methods for Symplectic Time Integration Schemes