Kim Völlinger. Certifying Algorithms for Interactive Components and Distributed Systems. In Anja Jentzsch, Tobias Pape, Sebastian Pasewaldt, editors, Proceedings of the 8th Joint Workshop of the German Research Training Groups in Computer Science - Dagstuhl 2014, Dagstuhl, Germany, June 15-18, 2014. pages 133, Pro Business GmbH, 2014.
Abstract is missing.