Skip to content

Specifying Component and Context Specification Using Promotion.

John Derrick, Eerke A. Boiten

VenueBIFM
Year1999
ProceedingsIFM

Browse the full IFM paper archive.