Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Journal Article
%1 journals/logcom/Banach03
%A Banach, Richard
%D 2003
%J J. Log. Comput.
%K dblp
%N 2
%P 313-314
%T Book Review: "Refinement in Z and object-Z: Foundations and Advanced Applications" by John Derrick and Eerke Boiten.
%U http://dblp.uni-trier.de/db/journals/logcom/logcom13.html#Banach03
%V 13
@article{journals/logcom/Banach03,
added-at = {2011-06-29T00:00:00.000+0200},
author = {Banach, Richard},
biburl = {https://www.bibsonomy.org/bibtex/2e250745699572fef72feea9f6e5df940/dblp},
ee = {http://dx.doi.org/10.1093/logcom/13.2.313},
interhash = {24d07eb5c2da28927405cb267dec9cb1},
intrahash = {e250745699572fef72feea9f6e5df940},
journal = {J. Log. Comput.},
keywords = {dblp},
number = 2,
pages = {313-314},
timestamp = {2011-06-30T11:38:49.000+0200},
title = {Book Review: "Refinement in Z and object-Z: Foundations and Advanced Applications" by John Derrick and Eerke Boiten.},
url = {http://dblp.uni-trier.de/db/journals/logcom/logcom13.html#Banach03},
volume = 13,
year = 2003
}