{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T05:43:08Z","timestamp":1725601388408},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540068594"},{"type":"electronic","value":"9783540378198"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1974]]},"DOI":"10.1007\/3-540-06859-7_123","type":"book-chapter","created":{"date-parts":[[2011,8,18]],"date-time":"2011-08-18T11:52:56Z","timestamp":1313668376000},"page":"41-58","source":"Crossref","is-referenced-by-count":0,"title":["S. V. P. Un system interactif pour la validation et la preparation de programmes"],"prefix":"10.1007","author":[{"given":"B.","family":"Amy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Ouabdesselam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,20]]},"reference":[{"key":"5_CR1","unstructured":"B.W. BOEHM, Software and its impact: a quantitative assessment, Datamation, May 1973, 48\u201349"},{"key":"5_CR2","unstructured":"A. COLMERAUER and al., Un syst\u00e8me de communication homme \u2014 machine en fran\u00e7ais, Rapport pr\u00e9liminaire, Octobre 1972"},{"key":"5_CR3","unstructured":"J.A. DERKSEN, J.F. RULIFSON, R.J. WALDINGER, QA4: a procedural calculus for intuitive reasoning, SRI, Technical note 73, November 1972"},{"key":"5_CR4","unstructured":"L.P. DEUTSCH, An interactive program verifier, PhD Thesis, University of California, June 1973"},{"key":"5_CR5","unstructured":"E.W. DIJKSTRA, Notes on structured programming, TH Report 70 WSK 03, Technological University of Eindhoven, April 1970"},{"key":"5_CR6","unstructured":"B. ELSPAS, N.W. GREEN, K.N. LEWITT, R.J. WALDINGER, Research in interactive program proving techniques, SRI, May 1972"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"R.W. FLOYD, Assigning meanings to programs, Proceedings Symposium in Applied Mathematics, vol 19, Americal Mathematical Society, 1967, 19\u201332","DOI":"10.1090\/psapm\/019\/0235771"},{"key":"5_CR8","unstructured":"R.W. FLOYD, Toward interactive design of computer programs, Proceedings of IFIP Congress 1971, August 1971"},{"key":"5_CR9","unstructured":"C. HEWITT, Planner: a language for proving theorems and manipulating models in a robot, PhD Thesis, MIT, January 1971"},{"issue":"1","key":"5_CR10","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1145\/362452.362489","volume":"14","author":"C.A.R. HOARE","year":"1971","unstructured":"C.A.R. HOARE, Proof of a program: FIND, Communication of ACM, vol 14, no 1, January 1971, 39\u201345","journal-title":"Communication of ACM"},{"key":"5_CR11","unstructured":"S.M. KATZ, Z. MANNA, A heuristic approach to program verification, Proceedings of third international Joint Conference on Artificial Intelligence, Stanford, August 1973"},{"key":"5_CR12","unstructured":"J. KING, A program verifier, Doctoral dissertation, Carnegie-Mellon University, 1969"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"W.A. MARTIN, Determining the equivalence of algebraic expressions by hash coding, Journal of ACM, vol 18, no 4, October 1971","DOI":"10.1145\/321662.321668"},{"key":"5_CR14","unstructured":"B. WEGBREIT, Heuristic methods for mechanically deriving inductive assertions, Proceedings of third International Joint Conference on Artificial Intelligence, Stanford, August 1973"},{"issue":"4","key":"5_CR15","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1145\/362575.362577","volume":"14","author":"N. WIRTH","year":"1971","unstructured":"N. WIRTH, Program development by stepwise refinement, Communication of ACM, vol 14, no 4, April 1971, 221\u2013227","journal-title":"Communication of ACM"}],"container-title":["Lecture Notes in Computer Science","Programming Symposium"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-06859-7_123.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T16:43:35Z","timestamp":1619541815000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-06859-7_123"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1974]]},"ISBN":["9783540068594","9783540378198"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-06859-7_123","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1974]]}}}