Sign in

Specification is Law: Safe Creation and Upgrade of Ethereum Smart Contracts.

Pedro AntoninoJuliandson FerreiraAugusto SampaioA. W. Roscoe
Published in: SEFM (2022)
Keyphrases
  • supply chain
  • high level
  • smart grid
  • formal specification
  • neural network
  • case study
  • creation process
  • enabling technologies
  • database
  • artificial intelligence
  • social networks
  • knowledge base
  • ubiquitous environments