Formal verification of smart contracts using interface automataGabor MadlLuis Bathenet al.2019Blockchain 2019
An iBeacon Training App for Indoor FingerprintingGerman FloresThomas D. Griffinet al.2017MobileCloud 2017