%0 Journal Article %1 journals/jacm/BishopFMNRSSW19 %A Bishop, Steve %A Fairbairn, Matthew %A Mehnert, Hannes %A Norrish, Michael %A Ridge, Tom %A Sewell, Peter %A Smith, Michael %A Wansbrough, Keith %D 2019 %J J. ACM %K dblp %N 1 %P 1:1-1:77 %T Engineering with Logic: Rigorous Test-Oracle Specification and Validation for TCP/IP and the Sockets API. %U http://dblp.uni-trier.de/db/journals/jacm/jacm66.html#BishopFMNRSSW19 %V 66

@article{journals/jacm/BishopFMNRSSW19, added-at = {2019-09-25T00:00:00.000+0200}, author = {Bishop, Steve and Fairbairn, Matthew and Mehnert, Hannes and Norrish, Michael and Ridge, Tom and Sewell, Peter and Smith, Michael and Wansbrough, Keith}, biburl = {https://www.bibsonomy.org/bibtex/2f76be9d0dd058da21e405d2cecff2ca4/dblp}, ee = {https://doi.org/10.1145/3243650}, interhash = {56ad9e94e15dd89c03ebde7cdaf114a3}, intrahash = {f76be9d0dd058da21e405d2cecff2ca4}, journal = {J. ACM}, keywords = {dblp}, number = 1, pages = {1:1-1:77}, timestamp = {2019-09-26T12:03:57.000+0200}, title = {Engineering with Logic: Rigorous Test-Oracle Specification and Validation for TCP/IP and the Sockets API.}, url = {http://dblp.uni-trier.de/db/journals/jacm/jacm66.html#BishopFMNRSSW19}, volume = 66, year = 2019 }