[Oberon] looking for link/reference to interview: program verfication in an undergraduate course

Frans-Pieter Vonck 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?

Frans-Pieter Vonck

More information about the Oberon mailing list