Statistics
Publications
1
Citations
80
H-Index
1
Active since
2018
Affiliations
Imperial College London(Current)
David Trabish is an author at Imperial College London specializing in formal verification, parallel computing, and parallel programming.
Publications per year
2018–2018
1
1
David Trabish, Andrea Mattavelli, Noam Rinetzky et al. · 2018 · 80 citations
1–1 of 1