[Apologies should you received multiple copies of this message.]
****************************************************
The IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal
Specifications of Computer Based Systems will be held in
Edinburgh, Scotland, April 6-7, following the IEEE International
Conference on the Engineering of Computer Based Systems (ECBS),
see http://www.dcs.napier.ac.uk/ecbs
*****************************************************
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|