Blog » A Case Study within the bitcoin Code Recension