Login / Signup
A. W. Roscoe
ORCID
Publication Activity (10 Years)
Years Active: 1983-2024
Publications (10 Years): 35
Top Topics
Card Game
Concurrent Systems
Sat Solving
Fair Exchange
Top Venues
CoRR
Security Protocols Workshop
Formal Aspects Comput.
Int. J. Softw. Tools Technol. Transf.
</>
Publications
</>