Giancarlo Bigi, Andrea Bracciali, Giovanni Meacci, Emilio Tuosto. Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods. In Chiara Bodei, Gian Luigi Ferrari, Corrado Priami, editors, Programming Languages with Applications to Biology and Security - Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday. Volume 9465 of Lecture Notes in Computer Science, pages 142-161, Springer, 2015. [doi]
Abstract is missing.