Synthesis of distributed mobile programs using monadic types in Coq
MICULAN, Marino
•
Marco Paviotti
2012
Periodico
LECTURE NOTES IN COMPUTER SCIENCE
DOI
Archivio
Diritti
closed access