Weikai Miao, Xi Wang. An Evolutionary Method for the Formal Specification Construction of Service-Based Software. International Journal of Software Engineering and Knowledge Engineering, 26(4):587-610, 2016. [doi]
@article{MiaoW16,
title = {An Evolutionary Method for the Formal Specification Construction of Service-Based Software},
author = {Weikai Miao and Xi Wang},
year = {2016},
doi = {10.1142/S0218194016400039},
url = {http://dx.doi.org/10.1142/S0218194016400039},
researchr = {https://researchr.org/publication/MiaoW16},
cites = {0},
citedby = {0},
journal = {International Journal of Software Engineering and Knowledge Engineering},
volume = {26},
number = {4},
pages = {587-610},
}