{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:46:53Z","timestamp":1725662813236},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540083535"},{"type":"electronic","value":"9783540372851"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1977]]},"DOI":"10.1007\/3-540-08353-7_162","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:24:58Z","timestamp":1330187098000},"page":"410-419","source":"Crossref","is-referenced-by-count":0,"title":["Another approach for proving program correctness"],"prefix":"10.1007","author":[{"given":"Peter A.","family":"Ng","sequence":"first","affiliation":[]},{"given":"Sung Y.","family":"Bang","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,24]]},"reference":[{"issue":"3","key":"40_CR1","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1109\/TSE.1975.6312858","volume":"SE-1","author":"S. K. Basu","year":"1975","unstructured":"Basu, S. K. and Yeh, R. T., \"Strong verification of programs,\" IEEE Trans. Software Engineering, Vol. SE-1, No. 3, pp. 339\u2013345, Sept. 1975.","journal-title":"IEEE Trans. Software Engineering"},{"key":"40_CR2","volume-title":"A discipline of programming","author":"E. W. Dijkstra","year":"1976","unstructured":"Dijkstra, E. W., \"A discipline of programming,\" Prentice-Hall, Englewood Cliffs, New Jersey, 1976."},{"key":"40_CR3","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/BF00268134","volume":"6","author":"S. Owicki","year":"1976","unstructured":"Owicki, S. and Gries, D., \"An axiomatic proof technique for parallel programs I,\" Acta Informatia, Vol. 6, pp. 319\u2013340, 1976.","journal-title":"Acta Informatia"},{"issue":"4","key":"40_CR4","doi-asserted-by":"publisher","first-page":"691","DOI":"10.1145\/321978.321987","volume":"23","author":"B. Wegbreit","year":"1976","unstructured":"Wegbreit, B., \"Verifying program performance,\" JACM, Vol. 23, No. 4, pp. 691\u2013699, Oct. 1976.","journal-title":"JACM"},{"key":"40_CR5","doi-asserted-by":"crossref","first-page":"528","DOI":"10.1145\/361454.361460","volume":"15","author":"Z. Manna","year":"1972","unstructured":"Manna, Z. and Vuillemin, J., \"Fixpoint approach to the theory of computation,\" CACM, Vol. 15, pp. 528\u2013536, 1972.","journal-title":"CACM"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1977"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-08353-7_162.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:52:14Z","timestamp":1619556734000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-08353-7_162"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1977]]},"ISBN":["9783540083535","9783540372851"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/3-540-08353-7_162","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1977]]}}}