![](/img/cover-not-exists.png)
[IEEE 2016 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C) - Vienna, Austria (2016.8.1-2016.8.3)] 2016 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C) - A UTP Refinement Model of the STeC Language
Zhang, Yuanrui, Ma, Yujing, Chen, YixiangYear:
2016
Language:
english
DOI:
10.1109/qrs-c.2016.36
File:
PDF, 268 KB
english, 2016