{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:12:46Z","timestamp":1725664366358},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540585558"},{"type":"electronic","value":"9783540490319"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58555-9_112","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:36:15Z","timestamp":1330274175000},"page":"502-518","source":"Crossref","is-referenced-by-count":2,"title":["Evaluation semantics in Z"],"prefix":"10.1007","author":[{"given":"C.","family":"O'Halloran","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"30_CR1","unstructured":"B. A. Carr\u00e9, T. J. Jennings, F. J. Maclennan, P. F. Farrow and J.R. Garnsworthy, SPARK \u2014 The SPADE Ada Kernel (Edition 3.1). Program Validation Ltd."},{"key":"30_CR2","unstructured":"B. A. Carr\u00e9, J.R. Garnsworthy, D. W. R. Marsh, SPARK: A Safety-Related Ada Subset. 1992 Ada UK Conference."},{"key":"30_CR3","unstructured":"Program Validation Limited, The formal semantics of SPARK, March 1994."},{"key":"30_CR4","unstructured":"M. Hennessy, The Semantics of Programming Languages, Wiley 1990."},{"key":"30_CR5","unstructured":"C. Morgan, Programming from Specifications, Prentice Hall 1990."},{"key":"30_CR6","unstructured":"K. A. Nyberg, The annotated Ada reference manual (2nd edition), Grebyn corporation, 1992."},{"key":"30_CR7","unstructured":"C. M. O'Halloran, C. T. Sennett, A. Smith, Refinement of Z to SPARK (Volumes 1,2,3), DRA\/CIS\/CSE3\/SWI\/2\/1\/1, available from the authors, DRA 1994."},{"key":"30_CR8","unstructured":"B. A. Wichmann, Insecurities in the Ada programming language, NPL report DITC 137\/89, National Physical Laboratory, Teddington 1989."},{"key":"30_CR9","doi-asserted-by":"crossref","unstructured":"N. Wirth, Programming in Modula-2, Springer 1982","DOI":"10.1007\/978-3-642-96717-7"}],"container-title":["Lecture Notes in Computer Science","FME '94: Industrial Benefit of Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58555-9_112.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:18:52Z","timestamp":1619572732000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58555-9_112"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540585558","9783540490319"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-58555-9_112","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}