The Balancing Act (Mother's Day)
Portfolio_UXDI2015
011000358700000398482010 e
011000358700000667732009 e
1 Proposal for a specification of Demoney in Coq. Jean Duprat LIP, ENS-Lyon.
Proposal for a specification of Demoney in Coq.