Eelco Visser
Invited talk
at
Symposium Verificatie van software: Erg complex maar in ieders belang at KNAW, Amsterdam
| PDF
October 31, 2019