Title: Refinement in Z and object‐Z: foundations and advanced applications. By John Derrick and Eerke Boiten. Published by Springer‐Verlag, Berlin, Germany, formal approaches to computing and information technology series, 2001. ISBN: 1‐85233‐245‐X, 466 pages. Price: U.K. ?49.50, U.S.A. $79.95, Germany DM 159.90, soft cover.
Abstract: Software Testing, Verification and ReliabilityVolume 12, Issue 1 p. 61-61 Book ReviewFree Access Refinement in Z and object-Z: foundations and advanced applications. By John Derrick and Eerke Boiten. Published by Springer-Verlag, Berlin, Germany, formal approaches to computing and information technology series, 2001. ISBN: 1-85233-245-X, 466 pages. Price: U.K. ?49.50, U.S.A. $79.95, Germany DM 159.90, soft cover. Perdita Stevens, Perdita Stevens Division of Informatics, University of Edinburgh, JCMB, King's Buildings, Mayfield Road, Edinburgh, EH9 3JZ, U.K.Search for more papers by this author Perdita Stevens, Perdita Stevens Division of Informatics, University of Edinburgh, JCMB, King's Buildings, Mayfield Road, Edinburgh, EH9 3JZ, U.K.Search for more papers by this author First published: 14 February 2002 https://doi.org/10.1002/stvr.237Citations: 1AboutPDF ToolsRequest permissionExport citationAdd to favoritesTrack citation ShareShare Give accessShare full text accessShare full-text accessPlease review our Terms and Conditions of Use and check box below to share full-text version of article.I have read and accept the Wiley Online Library Terms and Conditions of UseShareable LinkUse the link below to share a full-text version of this article with your friends and colleagues. Learn more.Copy URL Share a linkShare onFacebookTwitterLinkedInRedditWechat No abstract is available for this article.Citing Literature Volume12, Issue1March 2002Pages 61-61 RelatedInformation