A UTP Refinement Model of the STeC Language.

Yuanrui Zhang, Yujing Ma, Yixiang Chen

Browse the full QRS paper archive.