Hoeveel fouten kun je vinden? Taalgebaseerde softwareveiligheid (in dutch)

Eelco Visser


Date: Wed, October 30, 2019
Time: 12:00
Room: COLLOQUIUMZAAL 0.E420


This seminar talk is a rehearsal of my talk “Taalgebaseerde softwareveiligheid” at the KNAW symposium VERIFICATIE VAN SOFTWARE: ERG COMPLEX MAAR IN IEDERS BELANG.

Since the symposium will be in dutch, this talk will be as well.


Previous: |
Next: Maurício Aniche |