Richiedi una copia del documento: Synthesis of distributed mobile programs using monadic types in Coq

Captcha code
Annulla