Formal Methods in the Field (FMitF)
Available Formats: HTML: https://www.nsf.gov/pubs/2024/nsf24509/nsf24509.htm?WT.mc_id=USNSF_25&WT.mc_ev=clickPDF: https://www.nsf.gov/pubs/2024/nsf24509/nsf24509.pdf?WT.mc_id=USNSF_25&WT.mc_ev=clickDocument Number: nsf24509Public Comment: This is an NSF Program Announcements and Information item.