Scientific Publications Daniel Amyot

• Sharifi, S., Parvizimosaed, A., Amyot, D., Logrippo, L., Mylopoulos, J. (2020) « Symboleo: Towards a Specification Language for Smart Contracts.» 28th IEEE Int. Requirements Engineering Conf. (RE’20), RE@Next! track, Zurich, Switzerland, September. IEEE CS  PDF