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

Joerg joerg.straube at iaeth.ch
Wed Jul 3 20:07:55 CEST 2019

Hi Frans-Pieter

Does this paper help?

-------------- next part --------------
A non-text attachment was scrubbed...
Name: haenen-outlining20the20teaching-learning20process.pdf
Type: application/pdf
Size: 197453 bytes
Desc: not available
URL: <http://lists.inf.ethz.ch/pipermail/oberon/attachments/20190703/458ce1fb/attachment-0001.pdf>
-------------- next part --------------


More information about the Oberon mailing list