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]
No references recorded for this publication.
No citations of this publication recorded.