The use of formal models in the design of interactive case memory systems

Andrew M. Dearden. The use of formal models in the design of interactive case memory systems. PhD thesis, University of York, UK, 1995. [doi]

Abstract

Abstract is missing.