Book Review: "Refinement in Z and object-Z: Foundations and Advanced Applications" by John Derrick and Eerke Boiten

Research output: Contribution to journal › Article

Original language	English
Pages (from-to)	313-314
Number of pages	2
Journal	Journal of Logic and Computation
Volume	13
Issue number	2
DOIs	https://doi.org/10.1093/logcom/13.2.313
Publication status	Published - 2003

Access to Document

@article{57b44f2090364b5495d6a65598e3a3a9,

title = "Book Review: {"}Refinement in Z and object-Z: Foundations and Advanced Applications{"} by John Derrick and Eerke Boiten",

author = "Richard Banach",

year = "2003",

doi = "10.1093/logcom/13.2.313",

language = "English",

volume = "13",

pages = "313--314",

journal = "Journal of Logic and Computation",

publisher = "Oxford University Press",

number = "2",

}