Jos Baeten
Jos Baeten leidt de sectie Formele Methoden van de Vakgroep Informatica, TUE. Hij was van 1988 tot 1993 redacteur van Informatie.
Om het hele artikel te lezen dient u eerst in te loggen.
Nog niet geregistreerd?
Klik hier voor verdere informatie.