{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,10]],"date-time":"2026-01-10T00:11:13Z","timestamp":1768003873978,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":5,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,11,10]]},"DOI":"10.1145\/1181195.1181210","type":"proceedings-article","created":{"date-parts":[[2007,1,17]],"date-time":"2007-01-17T01:15:56Z","timestamp":1168996556000},"page":"71-74","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Specifying java iterators with JML and Esc\/Java2"],"prefix":"10.1145","author":[{"given":"David R.","family":"Cok","sequence":"first","affiliation":[{"name":"Eastman Kodak Company, NY"}]}],"member":"320","published-online":{"date-parts":[[2006,11,10]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Many references to papers on JML can be found on the JML project website http:\/\/www.cs.iastate.edu\/~leavens\/JML\/papers.shtml.  Many references to papers on JML can be found on the JML project website http:\/\/www.cs.iastate.edu\/~leavens\/JML\/papers.shtml."},{"key":"e_1_3_2_1_2_1","unstructured":"L.\n       \n      Burdy An overview of JML tools and applications. In T. Arts and W. Fokkink editors Eighth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 03) volume \n  80\n   of \n  Electronic Notes in Theoretical Computer Science (ENTCS) pages \n  73\n  --\n  89\n  . \n  Elsevier June \n  2003\n  .  L. Burdy et al. An overview of JML tools and applications. In T. Arts and W. Fokkink editors Eighth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 03) volume 80 of Electronic Notes in Theoretical Computer Science (ENTCS) pages 73--89. Elsevier June 2003."},{"key":"e_1_3_2_1_3_1","volume-title":"University of Nijmegen","author":"Cok D. R.","year":"2004"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30569-9_6"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512558"}],"event":{"name":"SIGSOFT06\/FSE-14: SIGSOFT 2006 -14th International Symposium on the Foundations of Software Engineering","location":"Portland Oregon","acronym":"SIGSOFT06\/FSE-14","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 2006 conference on Specification and verification of component-based systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1181195.1181210","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,10]],"date-time":"2023-01-10T05:00:09Z","timestamp":1673326809000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1181195.1181210"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,11,10]]},"references-count":5,"alternative-id":["10.1145\/1181195.1181210","10.1145\/1181195"],"URL":"https:\/\/doi.org\/10.1145\/1181195.1181210","relation":{},"subject":[],"published":{"date-parts":[[2006,11,10]]},"assertion":[{"value":"2006-11-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}