Statistics
Publications
2
Citations
347
H-Index
2
Active since
2014
Affiliations
Amazon (United States)(Current)
Tim Rath is an author at Amazon (United States) specializing in formal methods, computing, and web services.
Publications per year
2014–2015
2
2
How Amazon web services uses formal methods
Chris Newcombe, Tim Rath, Fan Zhang et al. · Communications of the ACM · 2015 · 327 citations
Use of Formal Methods at Amazon Web Services
Chris Newcombe, Tim Rath, Fan Zhang et al. · 2014 · 20 citations
1–2 of 2