External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Combining Design by Contract and Inference Rules of Programming Logic towards Software Reliability

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]

Authors

Nuha Aldausari

This author has not been identified. Look up 'Nuha Aldausari' in Google

Cui Zhang

This author has not been identified. Look up 'Cui Zhang' in Google

Jun Dai

This author has not been identified. Look up 'Jun Dai' in Google
runs on