1 Grant
2018
SaTC: CORE: Medium: Collaborative: Automated Support for Writing High-Assurance Smart Contracts
Miller, Andrew
National Science Foundation (NSF), Direct For Computer & Info Scie & Enginr, Division Of Computer and Network Systems (ID: 1801321), $98,216USD, 08/01/2018 -- 07/31/2022