Follow
A refinement checking based strategy for component-based systems evolution. (arXiv:2005.10295v1 [cs.SE]) http://arxiv.org/abs/2005.10295
A refinement checking based strategy for component-based systems evolution. (arXiv:2005.10295v1 [cs.SE]) http://arxiv.org/abs/2005.10295