Article citationsMore>>

Bigi, G., Bracciali, A., Meacci, G., et al. (2015) The Validation of Decentralized Smart Contracts through Game Going and Formal Methods.
http://dspace.Stirtheac.UK/bitstream/1893/23914/1bhalo_degano2015.PDF

has been cited by the following article:

SCIRP Newsletter
Copyright © 2006-2026 Scientific Research Publishing Inc. All Rights Reserved.
Top