Formal Methods in the Field (FMitF)

Formal Methods in the Field (FMitF) Available Formats: HTML: https://www.nsf.gov/pubs/2018/nsf18536/nsf18536.htm?WT.mc_id=USNSF_25&WT.mc_ev=click PDF: https://www.nsf.gov/pubs/2018/nsf18536/nsf18536.pdf?WT.mc_id=USNSF_25&WT.mc_ev=click Document Number: nsf18536 This is an NSF Program Announcements and Information item. Follow NSF:    Save This email was sent using GovDelivery Communications Cloud on behalf of: National Science Foundation Update · 2415 Eisenhower Avenue, Alexandria, VA 22314 · 703-292-5111