Open source verification in an anonymous volunteer network

Peter T. Breuer, Simon Pickin. Open source verification in an anonymous volunteer network. Science of Computer Programming, 91:161-187, 2014. [doi]

Abstract

Abstract is missing.