Tristan Dyer

Latest

• Sterling: A Web-Based Visualizer for Relational Modeling Languages
• State-Based Formal Methods in Scientific Computation