%0 Book %1 books/daglib/0072139 %A Woodcock, J. C. P. %A Davies, Jim %B Prentice Hall international series in computer science %D 1996 %I Prentice Hall %K dblp %P I-XVI, 1-386 %T Using Z - specification, refinement, and proof. %@ 978-0-13-948472-8

@book{books/daglib/0072139, added-at = {2019-07-19T00:00:00.000+0200}, author = {Woodcock, J. C. P. and Davies, Jim}, biburl = {https://www.bibsonomy.org/bibtex/2878726f0a46e6a8f1ae5bfc4f317c839/dblp}, interhash = {b4e5c502d599f3c779a414381b23545f}, intrahash = {878726f0a46e6a8f1ae5bfc4f317c839}, isbn = {978-0-13-948472-8}, keywords = {dblp}, pages = {I-XVI, 1-386}, publisher = {Prentice Hall}, series = {Prentice Hall international series in computer science}, timestamp = {2019-07-20T11:38:15.000+0200}, title = {Using Z - specification, refinement, and proof.}, year = 1996 }