{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:06:39Z","timestamp":1725663999527},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540548348"},{"type":"electronic","value":"9783540464495"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54834-3_23","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T23:14:16Z","timestamp":1330211656000},"page":"371-388","source":"Crossref","is-referenced-by-count":7,"title":["Reasoning about VDM developments using the VDM support tool in mural"],"prefix":"10.1007","author":[{"given":"J. C.","family":"Bicarregui","sequence":"first","affiliation":[]},{"given":"B.","family":"Ritchie","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"23_CR1","unstructured":"Lindsay, P. A formal system with inclusion polymorphism. IPSE 2.5 working document 060\/pal014\/2.3, 1987."},{"key":"23_CR2","unstructured":"BSI IST\/5\/50. VDM Specification Language Proto-Standard. Working paper IST\/5\/50\/170, 1990."},{"key":"23_CR3","unstructured":"Jones, C. Systematic Software Development Using VDM. Prentice-Hall, 1990 (second edition)."},{"key":"23_CR4","unstructured":"Jones, C. Program Specification and Verification in VDM. Technical report UMCS-86-10-5, Department of Computer Science, Manchester University, 1986."},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"Jones, C. VDM Proof Obligations and Their Justification. In: VDM '87: VDM \u2014 A Formal Method at Work. LNCS 252, Springer-Verlag, 1987.","DOI":"10.1007\/3-540-17654-3_15"},{"key":"23_CR6","doi-asserted-by":"crossref","unstructured":"Monahan, B. A Type Model for VDM In: VDM '87: VDM \u2014 A Formal Method at Work. LNCS 252, Springer-Verlag, 1987.","DOI":"10.1007\/3-540-17654-3_13"},{"key":"23_CR7","unstructured":"Arentoft, M.M. and Larsen, P.G. The Dynamic Semantics of the BSI\/VDM Specification Language. M.Sc.E.-thesis, Department of Computer Science, Technical University of Denmark, 1988."},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"Milne, R. Proof Rules for VDM Statements. In VDM '88: VDM \u2014 The Way Ahead. LNCS 328, Springer-Verlag 1988.","DOI":"10.1007\/3-540-50214-9_23"},{"key":"23_CR9","unstructured":"Ah-Kee, J.A. Operation Decomposition Proof Obligations for Blocks and Procedures. Ph.D. thesis, Department of Computer Science, Manchester University, 1989."},{"key":"23_CR10","doi-asserted-by":"crossref","unstructured":"Crispin, R.J. Experience Using VDM in STC. In: VDM '87: VDM \u2014 A Formal Method at Work. LNCS 252, Springer-Verlag, 1987.","DOI":"10.1007\/3-540-17654-3_2"},{"key":"23_CR11","unstructured":"Spivey, J.M. The Z notation. Prentice-Hall, 1989."},{"key":"23_CR12","unstructured":"Spivey, J.M. Understanding Z. Cambridge University Press, 1988."},{"key":"23_CR13","doi-asserted-by":"crossref","unstructured":"Abrial, J-R. The B Tool (Abstract). In VDM '88: VDM \u2014 The Way Ahead. LNCS 328, Springer-Verlag 1988.","DOI":"10.1007\/3-540-50214-9_8"},{"issue":"No.1","key":"23_CR14","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1007\/BF01887199","volume":"1","author":"M. Nielson","year":"1989","unstructured":"Nielson, M., Klaus, H., Wagner, K.R. and George, C., The RAISE Language, Method and Tools. Formal Aspects of Computing Vol.1 No.1 pp 85\u2013114, 1989.","journal-title":"Formal Aspects of Computing"}],"container-title":["Lecture Notes in Computer Science","VDM'91 Formal Software Development Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54834-3_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:25:20Z","timestamp":1619573120000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54834-3_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540548348","9783540464495"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-54834-3_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}