TY  - JOUR

T1  - A formal framework for viewpoint consistency

JO  - FORM METHOD SYST DES

PY  - 2002/09/01

AU  - Bowman H

AU  - Steen MWA

AU  - Boiten EA

AU  - Derrick J

ED  - 

VL  - 21

IS  - 2

SP  - 111

EP  - 166

Y2  - 2024/12/22

ER  -