Login / Signup

Testing and Proving Distributed Algorithms in Constructive Type Theory.

Qiao Haiyan
Published in: TAP (2007)
Keyphrases