Book Chapter

Specification architectures

KJ Turner, R SINNOTT

Cambridge University Press | Published : 2001

Abstract

Originally published in 2002, this book presents techniques in the application of formal methods to object-based distributed systems.

Keywords