Formalisation and Soundness of Static Verification Algorithms for Imperative Programs (Formalisatie en correctheid van statische verificatiealgoritmes voor imperatieve programma's)
Modulaire formele verificatie van totale correctheidseigenschappen van meerdradige imperatieve programma's
Formalisation and Soundness of Static Verification Algorithms for Imperative Programs (Formalisatie en correctheid van statische verificatiealgoritmes voor imperatieve programma's)
Why are imperative sentences a convenient means to perform directives? : A force dynamic account of imperative sentences
Institutional imperatives versus emergent dynamics: a case study on continuous change in higher education