Login / Signup

Synthesis of Distributed Mobile Programs Using Monadic Types in Coq.

Marino MiculanMarco Paviotti
Published in: ITP (2012)
Keyphrases