학술논문
Engineering with logic: Rigorous test-oracle specification and validation for TCP/IP and the Sockets API
Document Type
Article
Author
Source
In: Journal of the ACM . (Journal of the ACM, December 2018, 66(1))
Subject
Language
English
ISSN
1557735X
00045411
00045411