Statistics
Publications
1
Citations
17
H-Index
1
Active since
2022
Affiliations
University of Washington(Current)
Nicole de Moura is an author at University of Washington specializing in formal methods, automated reasoning, and formal specification.
Publications per year
2022–2022
1
1