Programmide/algoritmide korrektsuse tõestamisest


Jüri Kiho kõneleb 1. aasta tudengitele programmide/algoritmide korrektsuse tõestamisest.