Andrew Wagner - SPLASH 2024

Sun 20 - Fri 25 October 2024 Pasadena, California, United States

Not registered as user yet

Name:Andrew Wagner

Affiliation:Northeastern University

Contributions

2024

SPLASH

Forge: A Tool and Language for Teaching Formal Methods

Show activities from other conferences

Using general profile