Nuha Aldausari, Cui Zhang, Jun Dai. Combining Design by Contract and Inference Rules of Programming Logic towards Software Reliability. In Pierangela Samarati, Mohammad S. Obaidat, editors, Proceedings of the 15th International Joint Conference on e-Business and Telecommunications, ICETE 2018 - Volume 2: SECRYPT, Porto, Portugal, July 26-28, 2018. pages 530-537, SciTePress, 2018. [doi]
@inproceedings{AldausariZD18,
title = {Combining Design by Contract and Inference Rules of Programming Logic towards Software Reliability},
author = {Nuha Aldausari and Cui Zhang and Jun Dai},
year = {2018},
doi = {10.5220/0006849605300537},
url = {https://doi.org/10.5220/0006849605300537},
researchr = {https://researchr.org/publication/AldausariZD18},
cites = {0},
citedby = {0},
pages = {530-537},
booktitle = {Proceedings of the 15th International Joint Conference on e-Business and Telecommunications, ICETE 2018 - Volume 2: SECRYPT, Porto, Portugal, July 26-28, 2018},
editor = {Pierangela Samarati and Mohammad S. Obaidat},
publisher = {SciTePress},
isbn = {978-989-758-319-3},
}