Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/sigopsE/NorrishSW02
%A Norrish, Michael
%A Sewell, Peter
%A Wansbrough, Keith
%B ACM SIGOPS European Workshop
%D 2002
%E Muller, Gilles
%E Jul, Eric
%I ACM
%K dblp
%P 49-53
%T Rigour is good for you and feasible: reflections on formal treatments of C and UDP sockets.
%U http://dblp.uni-trier.de/db/conf/sigopsE/sigopsE2002.html#NorrishSW02
@inproceedings{conf/sigopsE/NorrishSW02,
added-at = {2018-11-06T00:00:00.000+0100},
author = {Norrish, Michael and Sewell, Peter and Wansbrough, Keith},
biburl = {https://www.bibsonomy.org/bibtex/26fcd07ca066520f4b1c39ee2a57db394/dblp},
booktitle = {ACM SIGOPS European Workshop},
crossref = {conf/sigopsE/2002},
editor = {Muller, Gilles and Jul, Eric},
ee = {https://doi.org/10.1145/1133373.1133383},
interhash = {afffc9c069d477b8fedf8ec7812ee74b},
intrahash = {6fcd07ca066520f4b1c39ee2a57db394},
keywords = {dblp},
pages = {49-53},
publisher = {ACM},
timestamp = {2019-11-08T11:48:59.000+0100},
title = {Rigour is good for you and feasible: reflections on formal treatments of C and UDP sockets.},
url = {http://dblp.uni-trier.de/db/conf/sigopsE/sigopsE2002.html#NorrishSW02},
year = 2002
}
