Safe design and evolution of smart contracts using dynamic condition response graphs to model generic role‐based behaviors.
Saved in:
| Title: | Safe design and evolution of smart contracts using dynamic condition response graphs to model generic role‐based behaviors. |
|---|---|
| Authors: | Xu, Yibin1, Slaats, Tijs1, Düdder, Boris1, Troels Hildebrandt, Thomas1, Van Cutsem, Tom2, tom.vancutsem@kuleuven.be |
| Source: | Journal of Software: Evolution & Process; Jan2025, Vol. 37 Issue 1, p1-22, 22p |
| Database: | Applied Science & Technology Source |
|
Full text is not displayed to guests.
Login for full access.
|
|
| ISSN: | 20477473 |
|---|---|
| DOI: | 10.1002/smr.2730 |