Login / Signup

A refinement-based approach to safe smart contract deployment and evolution.

Pedro AntoninoJuliandson FerreiraAugusto SampaioA. W. RoscoeFilipe Arruda
Published in: Softw. Syst. Model. (2024)
Keyphrases
  • real time
  • data sets
  • web services
  • neural network
  • decision making
  • image sequences
  • software evolution
  • artificial life