Adnan Imeri, Nazim Agoulmine, Djamel Khadraoui. Smart Contract modeling and verification techniques: A survey.
8th International Workshop on ADVANCEs in ICT Infrastructures and Services (ADVANCE 2020), Candy E. Sansores, Universidad del Caribe, Mexico, Nazim Agoulmine, IBISC Lab, University of Evry - Paris-Saclay University, Jan 2020, Cancún, Mexico. pp.1--8.
⟨hal-02495158⟩