Publication

100 procent fossielvrij elektriciteitsverbruik op HvA - Energienieuws - 24-11-2020 Magazine Article

Zelfrijdende autos zijn hinderlijk onvoorspelbaar voor weggebruikers - Letselschade.nl - 25-11-2020 Magazine Article

Zelfrijdende autos zijn hinderlijk voor onvoorspelbaar voor weggebruikers - AG Connect - 26-11-2020 Magazine Article

Nederlandse banken aan de wieg van maandelijkse quantum workshops - Banken.nl - 27-11-2020 Magazine Article

Inseguendo fagiani selvatici: Partial order reduction for guarded command languages In Proceedings

F.S. de Boer (Frank), E.B. Johnsen (Einar Broch), R. Schlatte (Rudolf), S.L. Tapia Tarifa (Lizeth) and L. Tveito (Lars)

Recent developments in the design and implementation of programming languages Preface

F.S. de Boer (Frank) and J. Mauro (Jacopo)

Nederlandse banken aan de wieg van maandelijkse quantum workshops - Privacyweb - 27-11-2020 Magazine Article

Preface to Special Issue: EXPRESS/SOS 2018 Preface

J.A. Pérez Parra (Jorge) and S. Tini (Simone)