Titlebook: B‘98: Recent Advances in the Development and Use of the B Method; Second International Didier Bert Conference proceedings 1998 Springer-Ver

LAITY

Gustatory

fetter

https://doi.org/10.1007/978-3-319-44180-1hm while preserving the original computation. We present an important special case of the original superposition method, namely, that of considering each new functionality as a . that is only allowed to read the variables of the previous layers. Thus, the superposition method with layers structures