Kyriakos Georgiou, Research Associate at University of Bristol, presented on “Is Your Code as Cool as Expected?” at the Verification Futures Europe Conference which took place on 4 February 2016 organized by T&VS.

You can find out the slides and recordings here