Synthesis of distributed mobile programs using monadic types in Coq

Marino Miculan, Paviotti Marco
2012-01-01
Cite DOI
Type
Conference paper
Publication
Interactive Theorem Proving, Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings

Related