Willem-Paul de Roever wrote:
> Dear Dines and Kari, Corinne and I are upset by Dines's need for so much
> more surgery. We wish both of you all the luck in the world, especially
> Dines, but also Kari in here moments of darkness, waiting for the outcome,
> and are with you in our thoughts and in Corinne's prayers.
>
> The best of luck, and warmest regards,
> Corinne and Willem.
I am sure Willem-Paul de Roever's good wishes are echoed by all members of
the FACS mailing list, and also the ProCoS mailing list (apologies for
multiple copies), who know of the sterling efforts by Dines in the
development and promotion of formal methods over the years.
Very best wishes to Dines for a speedy recovery from me too.
Jonathan
--
Prof. Jonathan Bowen
Professor of Computing, Research Institute for Computing
Faculty of Business, Computing and Information Management
London South Bank University, Borough Road, London SE1 0AA, UK
Email: [log in to unmask] URL: http://myweb.lsbu.ac.uk/~bowenjp/
Centre for Applied Formal Methods: http://www.cafm.lsbu.ac.uk/
|