{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,3]],"date-time":"2026-10-03T00:33:06Z","timestamp":1790987586502,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":5,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,11,5]],"date-time":"2007-11-05T00:00:00Z","timestamp":1194220800000},"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":[],"published-print":{"date-parts":[[2007,11,5]]},"DOI":"10.1145\/1321631.1321747","type":"proceedings-article","created":{"date-parts":[[2007,11,30]],"date-time":"2007-11-30T14:39:06Z","timestamp":1196433546000},"page":"573-573","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Tutorial on JML, the java modeling language"],"prefix":"10.1145","author":[{"given":"Gary T.","family":"Leavens","sequence":"first","affiliation":[{"name":"University of Central Florida, Orlando, FL"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2007,11,5]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-004-0167-4"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/11901433_2"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1127878.1127884"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"G. T.\n       \n      Leavens J. R.\n       \n      Kiniry and \n      \n      \n      E.\n       \n      Poll\n      \n  \n  . \n  A JML tutorial: Modular specification and verification of functional behavior for Java. In W. Damm and H. Hermanns editors Computer Aided Verification\n   \n  2007 volume \n  4590\n   of \n  Lecture Notes in Computer Science page \n  37 Berlin July 2007. \n  Springer-Verlag\n  .   G. T. Leavens J. R. Kiniry and E. Poll. A JML tutorial: Modular specification and verification of functional behavior for Java. In W. Damm and H. Hermanns editors Computer Aided Verification 2007 volume 4590 of Lecture Notes in Computer Science page 37 Berlin July 2007. Springer-Verlag.","DOI":"10.1007\/978-3-540-73368-3_6"},{"key":"e_1_3_2_1_5_1","unstructured":"G. T. Leavens E. Poll C. Clifton Y. Cheon C. Ruby D. R. Cok P. M\u00fcller J. Kiniry and P. Chalin. JML Reference Manual. Available from http:\/\/www.jmlspecs.org Feb. 2007.  G. T. Leavens E. Poll C. Clifton Y. Cheon C. Ruby D. R. Cok P. M\u00fcller J. Kiniry and P. Chalin. JML Reference Manual. Available from http:\/\/www.jmlspecs.org Feb. 2007."}],"event":{"name":"ASE07: International Conference on Automated Software Engineering 2007","location":"Atlanta Georgia USA","acronym":"ASE07","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the twenty-second IEEE\/ACM international conference on Automated software engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1321631.1321747","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1321631.1321747","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:39:07Z","timestamp":1750253947000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1321631.1321747"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,11,5]]},"references-count":5,"alternative-id":["10.1145\/1321631.1321747","10.1145\/1321631"],"URL":"https:\/\/doi.org\/10.1145\/1321631.1321747","relation":{},"subject":[],"published":{"date-parts":[[2007,11,5]]},"assertion":[{"value":"2007-11-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}