Login / Signup
Anthony Hall
Publication Activity (10 Years)
Years Active: 1987-2013
Publications (10 Years): 0
Top Topics
Real World
Transactional Properties
Pattern Detection
Commit Protocols
Top Venues
Formal Aspects Comput.
</>
Publications
</>