Dan Li, Xiaoshan Li, Zhiming Liu 0001, Volker Stolz. Automated transformations from UML behavior models to contracts. Science in China Series F: Information Sciences, 57(12):1-17, 2014. [doi]
@article{LiL0S14,
title = {Automated transformations from UML behavior models to contracts},
author = {Dan Li and Xiaoshan Li and Zhiming Liu 0001 and Volker Stolz},
year = {2014},
doi = {10.1007/s11432-014-5159-8},
url = {http://dx.doi.org/10.1007/s11432-014-5159-8},
researchr = {https://researchr.org/publication/LiL0S14},
cites = {0},
citedby = {0},
journal = {Science in China Series F: Information Sciences},
volume = {57},
number = {12},
pages = {1-17},
}