@inproceedings{f18doc3,
author = {Blagovest Kirilov},
booktitle = {{FDIBA} Conference Proceedings},
title = {Utilizing Blockchain technology for data analysis and interaction through The Formal Method of Things},
year = {2018},
volume = {2},
pages = {63-65},
month = {Nov},
ISSN = {2535-1338},
}