{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:06:40Z","timestamp":1725664000861},"publisher-location":"Berlin, Heidelberg","reference-count":8,"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_21","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T23:14:33Z","timestamp":1330211673000},"page":"343-355","source":"Crossref","is-referenced-by-count":2,"title":["Reasoning about VDM specifications"],"prefix":"10.1007","author":[{"given":"Morten","family":"Elvang-G\u00f8ransson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"21_CR1","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1007\/BF00264250","volume":"21","author":"H. Barringer","year":"1984","unstructured":"H. Barringer, J.H. Cheng, C.B. Jones. A Logic Covering Undefinedness in Program Proofs. Acta Informatica 21, pp. 251\u2013269. 1984.","journal-title":"Acta Informatica"},{"key":"21_CR2","unstructured":"J.H. Cheng, C.B. Jones. On the usability of logics which handle partial functions. In: C. Morgan and J.C.P. Woodcock. 3rd Refinement Workshop, pp. 51\u201372. Springer-Verlag. 1991."},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"R.L. Constable. Partial functions in constructive formal theories. In: A.B. Cremers and H.P. Kriegel. Theoretical Computer Science. LNCS 145, pp. 1\u201318. Springer-Verlag. 1983.","DOI":"10.1007\/BFb0036465"},{"key":"21_CR4","unstructured":"O.-J. Dahl, D.F. Langmyhr, O. Owe. Preliminary Report on the Specification and Programming Language ABEL. Research Report. No. 106. Department of Informatics. University of Oslo. 1986."},{"key":"21_CR5","unstructured":"C.B. Jones. Systematic Software Development Using VDM. 2nd ed. Prentice Hall International 1990."},{"key":"21_CR6","doi-asserted-by":"crossref","unstructured":"C.B. Jones, K.D. Jones, P.A. Lindsay, R. Moore, mural: A Formal Development Support System. Springer-Verlag. 1991.","DOI":"10.1007\/978-1-4471-3180-9"},{"key":"21_CR7","unstructured":"O. Owe. An approach to program reasoning based on a first order logic for partial functions. Research Report. No. 89. Department of Informatics. University of Oslo. 1985. (Also available as: Computer Science Technical Report Number CS-081, Dep. of Electrical Engineering and Computer Science, University of California, San Diego, U.S.A., June 1984.)"},{"key":"21_CR8","unstructured":"D.A. Schmidt. Denotational Semantics: a methodology for language development. Allyn and Bacon. 1986."}],"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_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:56:38Z","timestamp":1605646598000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54834-3_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540548348","9783540464495"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-54834-3_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}