Login / Signup
On Specifying Verifiers.
Vaughan R. Pratt
Published in:
POPL (1980)
Keyphrases
</>
mobile devices