Engineering with logic: Rig... - Researchers

Engineering with logic: Rigorous test-oracle specification and validation for TCP/IP and the Sockets API

Citation

Bishop, S, Fairbairn, M, Mehnert, H et al 2018, 'Engineering with logic: Rigorous test-oracle specification and validation for TCP/IP and the Sockets API', Journal of the ACM, vol. 66, no. 1, pp. 1-77pp.

Year

2018

ANU Authors

Mr Michael Norrish

Updated: 15 April 2021 / Responsible Officer: Director (Research Services Division) / Page Contact: Researchers