[Oberon] looking for link/reference to interview: program verfication in an undergraduate course
fp at vonck.nl
Tue Jul 2 16:48:51 CEST 2019
A few years ago I found an interview with a university professor, could
be John Cough maybe in conversation with Writh, where he mentions an
interesting way of training students in program verfication.
Students had to verbally explain eachother the workings of the code they
I cannot find the link anymore.
Did any of you also saw that interview?
More information about the Oberon