TY  - CONF

T1  - Viewpoint Consistency in Z and LOTOS: A Case Study.

JO  - FME

UR  - https://doi.org/10.1007/3-540-63533-5

PY  - 1997/01/01

AU  - Boiten EA

AU  - Bowman H

AU  - Derrick J

AU  - Steen M

ED  - Fitzgerald JS

ED  - Jones CB

ED  - Lucas P

PB  - Springer

VL  - 1313

SP  - 644

EP  - 664

Y2  - 2024/12/22

ER  -