*.chain: automatic coding of smart contracts and user interfaces for supply chains | IEEE Conference Publication | IEEE Xplore