Marco Paviotti

Latest

• Synthesis of distributed mobile programs using monadic types in Coq