{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:23:04Z","timestamp":1725664984158},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540625988"},{"type":"electronic","value":"9783540683261"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-62598-4_109","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:44:59Z","timestamp":1330278299000},"page":"319-326","source":"Crossref","is-referenced-by-count":0,"title":["Relative precision in the inductive assertion method"],"prefix":"10.1007","author":[{"given":"W. D.","family":"Maurer","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"38_CR1","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/363235.363259","volume":"10","author":"C. A. R. Hoare","year":"1969","unstructured":"Hoare, C. A. R., An axiomatic basis for computer programming, Communications of the ACM 12, 10 (1969), pp. 576\u2013580, 583.","journal-title":"Communications of the ACM 12"},{"key":"38_CR2","first-page":"19","volume-title":"Proc. Symp. Applied Math. 19 (Mathematical Aspects of Computer Science)","author":"R. W. Floyd","year":"1967","unstructured":"Floyd, R. W., Assigning meanings to programs, Proc. Symp. Applied Math. 19 (Mathematical Aspects of Computer Science), American Mathematical Society, Providence, R. I., 1967, pp. 19\u201332."},{"key":"38_CR3","unstructured":"Maurer, W. D., The correctness of computer programs, Part I: preliminary version, Memorandum GWU-IIST-88-23, Institute for Information Science and Technology, George Washington University, August 1988."},{"key":"38_CR4","unstructured":"Maurer, W. D., Some minimization theorems for verification conditions, 8th International Conference on Computing and Information (ICCI '96), Waterloo, Ontario, Canada, June 1996."},{"key":"38_CR5","first-page":"128","volume-title":"A new method of generating verification conditions","author":"W. D. Maurer","year":"1977","unstructured":"Maurer, W. D., A new method of generating verification conditions, Proc. 1977 Conf. on Information Sciences and Systems, Johns Hopkins Univ., Baltimore, March 1977, pp. 128\u2013133."},{"key":"38_CR6","doi-asserted-by":"crossref","unstructured":"Maurer, W. D., The modification index method of generating verification conditions, Proc. 15th Annual Southeast Regional Conf., Biloxi, Miss., April 1977, pp. 426\u2013440.","DOI":"10.1145\/1795396.1795456"},{"key":"38_CR7","unstructured":"Ralston, A., and P. Rabinowitz, A First Course In Numerical Analysis (2nd ed.), McGraw-Hill, 1978."},{"key":"38_CR8","unstructured":"King, J. C., A program verifier, Ph. D. Thesis, Department of Computer Science, Carnegie-Mellon University, 1969."},{"key":"38_CR9","unstructured":"Subramanian, S., and J. V. Cook, Mechanical verification of C programs, Trusted Information Systems, 444 Castro St., Suite 800, Mountain View, CA."},{"issue":"2","key":"38_CR10","doi-asserted-by":"crossref","first-page":"368","DOI":"10.1137\/0715024","volume":"15","author":"F. W. J. Olver","year":"1978","unstructured":"Olver, F. W. J., A new approach to error arithmetic, SIAM J. Numer. Anal. 15, 2 (Apr. 1978), pp. 368\u2013393.","journal-title":"SIAM J. Numer. Anal."}],"container-title":["Lecture Notes in Computer Science","Numerical Analysis and Its Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-62598-4_109.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:38:57Z","timestamp":1619559537000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-62598-4_109"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540625988","9783540683261"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-62598-4_109","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}