FMOC 2002 – Leiden, 4 – 8 november 2002
In het kader van mijn sabatical (halftijds van juni tot en met november) bezoek ik ook FMOC (workshop on Formal Methods for Objects and Components) dat plaatsvindt aan de Leidse Universiteit. Maandag 4 november 2002. Omdat de workshop al ’s …