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

[Joerg]

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 --------------



br
J?rg