Designing Correct Algorithms

NITheCS event: Designing Correct Algorithms

NITheCS event featuring Prof Ina Schaefer (Technical University of Braunschweig), Prof Bruce Watson (SU) & Tobias Runge (Technical University of Braunschweig)