{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T12:46:28Z","timestamp":1725453988758},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540638889"},{"type":"electronic","value":"9783540696612"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0000503","type":"book-chapter","created":{"date-parts":[[2005,10,5]],"date-time":"2005-10-05T10:30:36Z","timestamp":1128508236000},"page":"576-580","source":"Crossref","is-referenced-by-count":7,"title":["The B method and the B toolkit"],"prefix":"10.1007","author":[{"given":"Ken","family":"Robinson","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,9,7]]},"reference":[{"key":"45_CR1","doi-asserted-by":"crossref","unstructured":"J.-R. Abrial. The B-Book: Assigning Programs to Meanings. Cambridge University Press, 1996.","DOI":"10.1017\/CBO9780511624162"},{"key":"45_CR2","unstructured":"B. Dehbonei and F Mejia. Applications of Formal Methods, chapter Formal Development of Safety-critical Software Systems, pages 227\u2013252. Prentice Hall, 1995."},{"key":"45_CR3","unstructured":"Edsgar W. Dijkstra. A Discipline of Programming. Prentice-Hall, 1976."},{"key":"45_CR4","unstructured":"C. B. Jones. Program specification and verification in VDM. Technical Report UMCS 86-10-5, University of Manchester, 1986."},{"key":"45_CR5","unstructured":"C. B. Jones. Systematic Software Development using VDM. Prentice Hall International, 2nd edition, 1990. ISBN 0-13-880733-7."},{"key":"45_CR6","doi-asserted-by":"crossref","unstructured":"K. Lano. The B Language and Method \u2014 a guide to practical formal development. Springer-Verlag, 1996.","DOI":"10.1007\/978-1-4471-1494-9"},{"key":"45_CR7","doi-asserted-by":"crossref","unstructured":"K. Lano and H. Haughton. Specification in B: an Introduction using the B-Toolkit. Imperial College Press, 1996.","DOI":"10.1142\/p006"},{"key":"45_CR8","unstructured":"Carroll Morgan. Programming from Specifications. International Series in Computer Science. Prentice-Hall, 1990."},{"issue":"5","key":"45_CR9","doi-asserted-by":"crossref","first-page":"546","DOI":"10.1147\/rd.315.0546","volume":"31","author":"C.C. Morgan","year":"1987","unstructured":"C.C. Morgan and K.A. Robinson. Specification statements and refinement. IBM Journal of Research and Development, 31(5):546\u2013555, September 1987.","journal-title":"IBM Journal of Research and Development"},{"key":"45_CR10","unstructured":"J.M. Spivey. The Z Notation: A Reference Manual. Prentice-Hall International, 2nd edition, 1992."},{"key":"45_CR11","unstructured":"John B. Wordsworth. Software Engineering with the B-Method. Addison-Wesley, 1996."}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0000503","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,18]],"date-time":"2021-07-18T07:49:51Z","timestamp":1626594591000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0000503"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540638889","9783540696612"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/bfb0000503","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}