2024
Forge: A Tool and Language for Teaching Formal Methods.
[DOI]
Tim Nelson
,
Ben Greenman
,
Siddhartha Prasad
,
Tristan Dyer
,
Ethan Bove
,
Qianfan Chen
,
Charles Cutting
,
Thomas Del Vecchio
,
Sidney Levine
,
Julianne Rudner
,
Ben Ryjikov
,
Alexander Varga
,
Andrew Wagner
,
Luke West
,
Shriram Krishnamurthi
Proc. ACM Program. Lang., 2024