{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:58:00Z","timestamp":1750309080568,"version":"3.41.0"},"reference-count":4,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[1981,7,1]],"date-time":"1981-07-01T00:00:00Z","timestamp":362793600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGSOFT Softw. Eng. Notes"],"published-print":{"date-parts":[[1981,7]]},"DOI":"10.1145\/1010832.1010850","type":"journal-article","created":{"date-parts":[[2004,7,21]],"date-time":"2004-07-21T23:30:10Z","timestamp":1090452610000},"page":"50-55","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["A practical verification system"],"prefix":"10.1145","volume":"6","author":[{"given":"Jim","family":"Keeton-Williams","sequence":"first","affiliation":[{"name":"Mitre Corp., Bedford, MA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anne-Marie G.","family":"Discepolo","sequence":"additional","affiliation":[{"name":"Mitre Corp., Bedford, MA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[1981,7]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01448013"},{"key":"e_1_2_1_2_1","unstructured":"Cohen P. J. Set Theory and the Continuum Hypothesis W. A. Benjamin Inc. New York N.Y. 1966.  Cohen P. J. Set Theory and the Continuum Hypothesis W. A. Benjamin Inc. New York N.Y. 1966."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380090105"},{"key":"e_1_2_1_4_1","unstructured":"Givant S. Private communication January 1981.  Givant S. Private communication January 1981."}],"container-title":["ACM SIGSOFT Software Engineering Notes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1010832.1010850","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1010832.1010850","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:43:25Z","timestamp":1750286605000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1010832.1010850"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981,7]]},"references-count":4,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1981,7]]}},"alternative-id":["10.1145\/1010832.1010850"],"URL":"https:\/\/doi.org\/10.1145\/1010832.1010850","relation":{},"ISSN":["0163-5948"],"issn-type":[{"type":"print","value":"0163-5948"}],"subject":[],"published":{"date-parts":[[1981,7]]},"assertion":[{"value":"1981-07-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}