Daniele Magazzeni, Peter McBurney, William Nash. Validation and Verification of Smart Contracts: A Research Agenda. IEEE Computer, 50(9):50-57, 2017. [doi]
@article{MagazzeniMN17, title = {Validation and Verification of Smart Contracts: A Research Agenda}, author = {Daniele Magazzeni and Peter McBurney and William Nash}, year = {2017}, doi = {10.1109/MC.2017.3571045}, url = {http://doi.ieeecomputersociety.org/10.1109/MC.2017.3571045}, researchr = {https://researchr.org/publication/MagazzeniMN17}, cites = {0}, citedby = {0}, journal = {IEEE Computer}, volume = {50}, number = {9}, pages = {50-57}, }