Formal Methods and Open Systems

Andrew M. Gravell, Chris H. Pratten. Formal Methods and Open Systems. Software - Concepts and Tools, 16(4):183, 1995.

Abstract

Abstract is missing.