Welcome to the new semester_澳门皇冠体育,皇冠足球比分

msteffen
2021-08-27T11:45:11.474Z
type:structured-message
www.uio.no

The lectures have started (physically). Here on this page (as usual) will be slides, a script, other material, beskjeder etc. See also the email I sent, resp.

https://martinsteffen.github.io/programverification

The latter one won't be used for important beskjeder, it's more for tangetial issues.