{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:20:51Z","timestamp":1725456051882},"publisher-location":"Berlin\/Heidelberg","reference-count":9,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540566627"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0024645","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T10:09:15Z","timestamp":1132740555000},"page":"162-182","source":"Crossref","is-referenced-by-count":5,"title":["Invariants, frames and postconditions: a comparison of the VDM and B notations"],"prefix":"10.1007","author":[{"given":"Juan","family":"Bicarregui","sequence":"first","affiliation":[]},{"given":"Brian","family":"Ritchie","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","unstructured":"Abrial, J.R. Introducing B-Technologies (draft). May 1992."},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Abrial, J.R. The B Method. Book to appear","DOI":"10.1007\/BFb0020001"},{"key":"12_CR3","unstructured":"Bruns, G. and Anderson, S., The Formalisation of a Communications Protocol. LFCS Tech. Rep. 91\u2013137 (April 1991)."},{"key":"12_CR4","unstructured":"Bruns, G. and Anderson, S., The Formalization of a Communications Protocol. LFCS\/Adelard SCCS Tech.Rep. April 6, 1992."},{"key":"12_CR5","unstructured":"Bicarregui, J.C. Algorithm refinement with read and write frames, In this volume."},{"key":"12_CR6","unstructured":"Bicarregui, J.C. and B. Ritchie. A Comparison of Two Formal Specification Notations, RAL Technical Report, 1993."},{"key":"12_CR7","unstructured":"Jones, C.B. Systematic Software Development Using VDM, second edition. Prentice Hall, 1990."},{"key":"12_CR8","unstructured":"Morgan, C. Programming from Specifications. Prentice Hall, 1990."},{"issue":"1","key":"12_CR9","doi-asserted-by":"publisher","first-page":"626","DOI":"10.1109\/23.34514","volume":"36","author":"L.L. Santoline","year":"1989","unstructured":"L.L. Santoline et al. Multiprocessor Shared-Memory Information Exchange. IEEE Trans. on Nuclear Science. 36(1) 1989, pp.626\u2013633.","journal-title":"IEEE Trans. on Nuclear Science"}],"container-title":["Lecture Notes in Computer Science","FME '93: Industrial-Strength Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0024645.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:53:05Z","timestamp":1607550785000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0024645"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540566627"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/bfb0024645","relation":{},"subject":[]}}