Statistics
Publications
1
Citations
13
H-Index
1
Active since
2017
Affiliations
McMaster University(Current)
David Tremaine is an author at McMaster University specializing in nuclear safety analysis, formal verification, and verification.
Publications per year
2017–2017
1
1