A Method of Logic-Based Smart Contracts for Blockchain System

Jingwen Hu, Yong Zhong. A Method of Logic-Based Smart Contracts for Blockchain System. In Proceedings of the International Conference on Data Processing and Applications, ICDPA 2018, Guangdong, China, May 12-14, 2018. pages 58-61, ACM, 2018. [doi]

@inproceedings{HuZ18-17,
  title = {A Method of Logic-Based Smart Contracts for Blockchain System},
  author = {Jingwen Hu and Yong Zhong},
  year = {2018},
  doi = {10.1145/3224207.3224218},
  url = {https://doi.org/10.1145/3224207.3224218},
  researchr = {https://researchr.org/publication/HuZ18-17},
  cites = {0},
  citedby = {0},
  pages = {58-61},
  booktitle = {Proceedings of the International Conference on Data Processing and Applications, ICDPA 2018, Guangdong, China, May 12-14, 2018},
  publisher = {ACM},
}