CompBio & Bioinf @ UniUd

CompBio & Bioinf @ UniUd

Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact

Light Dark Automatic

Paviotti Marco

Latest

Synthesis of distributed mobile programs using monadic types in Coq

© 2017-2021 University of Udine

Published with Wowchemy — the free, open source website builder that empowers creators.

Cite