Xin Sun, Lan Lin, Zedong Peng, Liang Hao. Correct Software by Design for Software-Defined Networking: A preliminary Study. In Raúl García-Castro, editor, The 32nd International Conference on Software Engineering and Knowledge Engineering, SEKE 2020, KSIR Virtual Conference Center, USA, July 9-19, 2020. pages 127-134, KSI Research Inc., 2020. [doi]
@inproceedings{SunLPH20,
title = {Correct Software by Design for Software-Defined Networking: A preliminary Study},
author = {Xin Sun and Lan Lin and Zedong Peng and Liang Hao},
year = {2020},
doi = {10.18293/SEKE2020-081},
url = {https://doi.org/10.18293/SEKE2020-081},
researchr = {https://researchr.org/publication/SunLPH20},
cites = {0},
citedby = {0},
pages = {127-134},
booktitle = {The 32nd International Conference on Software Engineering and Knowledge Engineering, SEKE 2020, KSIR Virtual Conference Center, USA, July 9-19, 2020},
editor = {Raúl García-Castro},
publisher = {KSI Research Inc.},
isbn = {1-891706-50-0},
}