Premium
Formal Methods in the Field (NSF)
Publication year - 2020
Publication title -
federal grants and contracts
Language(s) - English
Resource type - Journals
eISSN - 1949-3185
pISSN - 1949-3177
DOI - 10.1002/fgc.31347
Subject(s) - citation , field (mathematics) , computer science , library science , information retrieval , world wide web , mathematics , pure mathematics