Incollection,
The Tokeneer Experiments.
J. Woodcock, E. Aydal, and R. Chapman.Reflections on the Work of C. A. R. Hoare, Springer, (2010)
Meta data
- BibTeX key
- books/daglib/p/WoodcockAC10
- entry type
- incollection
- booktitle
- Reflections on the Work of C. A. R. Hoare
- year
- 2010
- pages
- 405-430
- publisher
- Springer
- crossref
- books/daglib/0025134
- ee
- https://doi.org/10.1007/978-1-84882-912-1_17
- isbn
- 978-1-84882-911-4
- url
- http://dblp.uni-trier.de/db/books/collections/RJW2010.html#WoodcockAC10
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Book Section
%1 books/daglib/p/WoodcockAC10
%A Woodcock, Jim
%A Aydal, Emine Gökçe
%A Chapman, Rod
%B Reflections on the Work of C. A. R. Hoare
%D 2010
%E Roscoe, A. W.
%E Jones, Clifford B.
%E Wood, Kenneth R.
%I Springer
%K dblp
%P 405-430
%T The Tokeneer Experiments.
%U http://dblp.uni-trier.de/db/books/collections/RJW2010.html#WoodcockAC10
%@ 978-1-84882-911-4
@incollection{books/daglib/p/WoodcockAC10,
added-at = {2023-02-17T00:00:00.000+0100},
author = {Woodcock, Jim and Aydal, Emine Gökçe and Chapman, Rod},
biburl = {https://www.bibsonomy.org/bibtex/2897edf4622dd71b68970b1ac94c44a5e/dblp},
booktitle = {Reflections on the Work of C. A. R. Hoare},
crossref = {books/daglib/0025134},
editor = {Roscoe, A. W. and Jones, Clifford B. and Wood, Kenneth R.},
ee = {https://doi.org/10.1007/978-1-84882-912-1_17},
interhash = {6862426bb10278f475e56be97d17a990},
intrahash = {897edf4622dd71b68970b1ac94c44a5e},
isbn = {978-1-84882-911-4},
keywords = {dblp},
pages = {405-430},
publisher = {Springer},
timestamp = {2024-04-10T18:17:35.000+0200},
title = {The Tokeneer Experiments.},
url = {http://dblp.uni-trier.de/db/books/collections/RJW2010.html#WoodcockAC10},
year = 2010
}