51:47Making Software 'Correct by Construction' - Professor Martyn Thomas CBEGresham CollegeRecommended by 2 • 9 years agoHidden gem