Synthesis of distributed mobile programs using monadic types in Coq

Miculan M, Marco Paviotti
2012-01-01
Cite DOI
Type
Conference paper