APA (7th ed.) Citation
Magazzeni, D., McBurney, P., & Nash, W. (2017). Validation and Verification of Smart Contracts: A Research Agenda. Computer (00189162), 50(9), 50-58.
Chicago Style (17th ed.) Citation
Magazzeni, Daniele, Peter McBurney, and William Nash. "Validation and Verification of Smart Contracts: A Research Agenda." Computer (00189162) 50, no. 9 (2017): 50-58.
MLA (9th ed.) Citation
Magazzeni, Daniele, et al. "Validation and Verification of Smart Contracts: A Research Agenda." Computer (00189162), vol. 50, no. 9, 2017, pp. 50-58.
Warning: These citations may not always be 100% accurate.