Pengyi Li, Jing Sun, Hai Wang. Formal Approach to Assertion-Based Code Generation. International Journal of Software Engineering and Knowledge Engineering, 27(9-10):1637, 2017. [doi]
@article{LiSW17-7,
title = {Formal Approach to Assertion-Based Code Generation},
author = {Pengyi Li and Jing Sun and Hai Wang},
year = {2017},
doi = {10.1142/S0218194017400162},
url = {https://doi.org/10.1142/S0218194017400162},
researchr = {https://researchr.org/publication/LiSW17-7},
cites = {0},
citedby = {0},
journal = {International Journal of Software Engineering and Knowledge Engineering},
volume = {27},
number = {9-10},
pages = {1637},
}