home
>
book reviews
> Brian Matthews
Google >
Brian Matthews
author : Brian Matthews
Short works
Formal Development of Databases in ASSO and B. 1999.
(In
FM'99 volume 1
)
Compositional structuring in the B Method: A Logical Viewpoint of the Static Context. 2000.
(In
ZB 2000
)