Personal information

No personal information available

Activities

Works (1)

Forge: A Tool and Language for Teaching Formal Methods

Proceedings of the ACM on Programming Languages
2024-04-29 | Journal article
Contributors: Tim Nelson; Ben Greenman; Siddhartha Prasad; Tristan Dyer; Ethan Bove; Qianfan Chen; Charles Cutting; Thomas Del Vecchio; Sidney LeVine; Julianne Rudner et al.
Source: check_circle
Crossref