Abstract
Bewijsassistenten moeten ervoor zorgen dat complexe softwaresystemen correct werken. Geen eenvoudige klus, zegt Herman Geuvers, die vandaag zijn inaugurele rede houdt. Het is nog vrijwel onmogelijk formele wiskunde tussen verschillende bewijsassistenten uit te wisselen.
| Original language | Dutch |
|---|---|
| Pages (from-to) | 15- |
| Journal | De Automatisering Gids |
| Volume | 10 |
| Issue number | March 07, 2007 |
| Publication status | Published - 2008 |