Login / Signup
Jeremy Hurwitz
Publication Activity (10 Years)
Years Active: 2011-2013
Publications (10 Years): 0
Top Topics
Formal Verification
Transaction Management
Acid Properties
Nested Transactions
Top Venues
CoRR
ICDCS
</>
Publications
</>