Digital version of references

Hi,
is there a possibility to get a digital version of the handouts given in the tutorials (C0p type system, Hoare etc?)

1 Like

Thanks :slight_smile: