TY - CONF T1 - Specifying Component and Context Specification Using Promotion. JO - IFM UR - http://www.informatik.uni-trier.de/~ley/db/conf/ifm/ifm1999.html PY - 1999/01/01 AU - Derrick J AU - Boiten EA ED - Araki K ED - Galloway A ED - Taguchi K PB - Springer SP - 293 EP - 312 Y2 - 2024/12/22 ER -