BCS-FACS Publications

BCS-FACS

Formal Aspects of Measurement 1991: London, UK

Specification and Verification of Concurrent Systems 1988: Stirling, Scotland, UK