{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:48:04Z","timestamp":1725662884344},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540073895"},{"type":"electronic","value":"9783540375852"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1975]]},"DOI":"10.1007\/3-540-07389-2_178","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T15:54:15Z","timestamp":1330185255000},"page":"1-12","source":"Crossref","is-referenced-by-count":2,"title":["Construction of complete sample system for correctness testing"],"prefix":"10.1007","author":[{"given":"J. M.","family":"Barzdin","sequence":"first","affiliation":[]},{"given":"J. J.","family":"Bi\u010devskis","sequence":"additional","affiliation":[]},{"given":"A. A.","family":"Kalninsh","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,21]]},"reference":[{"key":"1_CR1","unstructured":"\u0411\u0430\u0440\u0437\u0434\u0438\u043d\u044a \u042f.\u041c., \u0411\u0438\u0447\u0435\u0432\u0441\u043a\u0438\u0439 \u042f.\u042f., \u041a\u0430\u043b\u043d\u0438\u043d\u044a\u0449 \u0410.\u0410., \u041f\u043e\u0441\u0442\u0440\u043e\u0435\u043d\u0438\u0435 \u043f\u043e\u043b\u043d\u043e\u0439 \u0441\u0438\u0441\u0442\u0435\u043c\u044b \u043f\u0440\u0438\u043c\u0435\u0440\u043e\u0432 \u0434\u043b\u044f \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0438 \u043a\u043e\u0440\u0440\u0435\u043a\u0442\u043d\u043e\u0441\u0442\u0438 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c. \u0423\u0447\u0435\u043d\u044b\u0435 \u0437\u0430\u043f\u0438\u0441\u043a\u0438 \u041b\u0430\u0442\u0432\u0438\u0439\u0441\u043a\u043e\u0433\u043e \u0433\u043e\u0441\u0443\u0434\u0430\u0440\u0441\u0442\u0432\u0435\u043d\u043d\u043e\u0433\u043e \u0443\u043d\u0438\u0432\u0435\u0440\u0441\u0438\u0442\u0435\u0442\u0430, \u0442.210 (1974), 152\u2013187."},{"key":"1_CR2","unstructured":"\u041a\u0430\u043b\u043d\u0438\u043d\u044a\u0449 \u0410.\u0410., \u0411\u0438\u0447\u0435\u0432\u0441\u043a\u0438\u0439 \u042f.\u042f., \u0411\u0430\u0440\u0437\u0434\u0438\u043d\u044a \u042f.\u041c., \u0420\u0430\u0437\u0440\u0435\u0449\u0438\u043c\u044b\u0435 \u0438 \u043d\u0435\u0440\u0430\u0437\u0440\u0435\u0449\u0438\u043c\u044b\u0435 \u0441\u043b\u0443\u0447\u0430\u0438 \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u044b \u043f\u043e\u0441\u0442\u0440\u043e\u0435\u043d\u0438\u044f \u043f\u043e\u043b\u043d\u043e\u0439 \u0441\u0438\u0441\u0442\u0435\u043c\u044b \u043f\u0440\u0438\u043c\u0435\u0440\u043e\u0432. \u2014, 188\u2013205."},{"key":"1_CR3","unstructured":"\u0411\u0430\u0440\u0437\u0434\u0438\u043d\u044a \u042f.\u041c., \u0417\u0430\u043c\u0435\u0447\u0430\u043d\u0438\u0435 \u043e \u0441\u0438\u043d\u0442\u0435\u0437\u0435 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c \u043f\u043e \u0438\u0441\u0442\u043e\u0440\u0438\u044f\u043c \u0438\u0445 \u0440\u0430\u0431\u043e\u0442\u044b. \u2014, 145\u2013151."},{"key":"1_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1007\/3-540-06720-5_4","volume-title":"Synthesizing programs given by examples","author":"J. M. Barzdin","year":"1974","unstructured":"Barzdin J.M., Synthesizing programs given by examples.-Lecture Notes in Computer Science 5 (A. Ershov, Ed.), pp. 56\u201363, Springer-Verlag, Berlin, 1974."},{"key":"1_CR5","unstructured":"Bierman A.W., u.c., Automatic program synthesis. Technical Report, Ohio State University, 1973."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1975 4th Symposium, Mari\u00e1nsk\u00e9 L\u00e1zn\u011b, September 1\u20135, 1975"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-07389-2_178.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:45:59Z","timestamp":1619556359000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-07389-2_178"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1975]]},"ISBN":["9783540073895","9783540375852"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/3-540-07389-2_178","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1975]]}}}