British Computer Society. Specialist Group in Formal Aspects of Computing Science
Hat mitgewirkt an:
-
3rd Refinement Workshop : proceedings of the 3rd Refinement Workshop, 9 - 11 January 1990, Hursley Park
-
Formal aspects of measurement : proceedings of the BCS FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991
-
6th Refinement Workshop : proceedings of the 6th Refinement Workshop, London, 5 - 7 January 1994
-
Semantics for concurrency : proceedings of the international BCS-FACS workshop, 23 - 25 July 1990, University of Leicester, UK