Using a Process Algebra to Control B Operations.

Conference proceeding

IFM'99, pp.437-456

1st International Conference on Integrated Formal Methods

1999

Metrics

38 Record Views

Title: Using a Process Algebra to Control B Operations.
Creators: H Treharne
S Schneider
Contributors: K Araki
A Galloway
K Taguchi
Springer (Publisher)
Publication Details: IFM'99, pp.437-456
Conference: 1st International Conference on Integrated Formal Methods
Date published: 1999
Date submitted: 17/05/2017
Identifiers: 99513613402346
Academic Unit: University of Surrey; School of Computer Science and Electronic Engineering
Resource Type: Conference proceeding