CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
A Tutorial on Verifying LinkedList Using KeY Book Chapter
H.A. Hiep (Hans-Dieter), J. Bian (Jinting), F.S. de Boer (Frank) and C.P.T. de Gouw (Stijn)
November 2020 -
November 2020
-
November 2020 -
Workshop General Awareness Quantum Computing voor alle bedrijven - ICT magazine - 19-11-2020 Magazine Article
November 2020 -
Asymptotic performance of port-based teleportation Article
Communications in Mathematical Physics, 379-451.M. Christandl (Matthias), Leditzky, F. (Felix), C. Majenz (Christian), Smith, G. (Graeme), F. Speelman (Florian) and Walter, M. (Michael)
November 2020
-
AI for Social Good & Equality of Opportunity Blogpost
S. Ghebreab, H. Haned (Hinda) and J.R. van Ossenbruggen (Jacco)
November 2020
-
November 2020 -
November 2020