Is Your Code as Cool as Expected?

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

2016-02-24T06:08:59+00:0024th February, 2016|Active Event, Blog, Events|