| https://dblp.org/rdf/schema#authoredBy
|
https://dblp.org/pid/27/496 +
, https://dblp.org/pid/25/3359 +
, https://dblp.org/pid/09/9538 +
, https://dblp.org/pid/10/3457 +
, https://dblp.org/pid/r/TomRidge +
, https://dblp.org/pid/74/185 +
, https://dblp.org/pid/44/5521-8 +
, https://dblp.org/pid/81/1207 +
|
| https://dblp.org/rdf/schema#bibtexType
|
http://purl.org/net/nknouf/ns/bibtex#Article +
|
| https://dblp.org/rdf/schema#documentPage
|
https://doi.org/10.1145/3243650 +
|
| https://dblp.org/rdf/schema#doi
|
https://doi.org/10.1145/3243650 +
, http://dx.doi.org/10.1145/3243650 +
|
| https://dblp.org/rdf/schema#listedOnTocPage
|
https://dblp.org/db/journals/jacm/jacm66 +
|
| https://dblp.org/rdf/schema#numberOfCreators
|
8
|
| https://dblp.org/rdf/schema#pagination
|
1:1-1:77
|
| https://dblp.org/rdf/schema#primaryDocumentPage
|
https://doi.org/10.1145/3243650 +
|
| https://dblp.org/rdf/schema#publishedIn
|
J. ACM
|
| https://dblp.org/rdf/schema#publishedInJournal
|
J. ACM
|
| https://dblp.org/rdf/schema#publishedInJournalVolume
|
66
|
| https://dblp.org/rdf/schema#publishedInJournalVolumeIssue
|
1
|
| https://dblp.org/rdf/schema#title
|
Engineering with Logic: Rigorous Test-Oracle Specification and Validation for TCP/IP and the Sockets API.
|
| https://dblp.org/rdf/schema#yearOfPublication
|
2019
|
| owl:sameAs |
https://doi.org/10.1145/3243650 +
, http://dx.doi.org/10.1145/3243650 +
|
| rdf:type |
https://dblp.org/rdf/schema#Publication +
, https://dblp.org/rdf/schema#Article +
|
| rdfs:label |
Steve Bishop et al.: Engineering with Logic: Rigorous Test-Oracle Specification and Validation for TCP/IP and the Sockets API. (2019)
|
