Op 19 oktober 1994 werd aan de Technische Universiteit Eindhoven de Tweede Landelijke Specificatiedag gehouden. Aan de presentaties en discussies van deze dag is dit artikel ontleend.1 Wat zijn formele methoden?
Om het hele artikel te lezen dient u eerst in te loggen.
Nog niet geregistreerd?
Klik hier voor verdere informatie.