{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:38:46Z","timestamp":1725485926487},"publisher-location":"Berlin, Heidelberg","reference-count":4,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540002338"},{"type":"electronic","value":"9783540362081"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36208-8_19","type":"book-chapter","created":{"date-parts":[[2007,6,7]],"date-time":"2007-06-07T18:05:27Z","timestamp":1181239527000},"page":"203-210","source":"Crossref","is-referenced-by-count":4,"title":["Formal Techniques for Java-like Programs"],"prefix":"10.1007","author":[{"given":"Sophia","family":"Drossopoulou","sequence":"first","affiliation":[]},{"given":"Susan","family":"Eisenbach","sequence":"additional","affiliation":[]},{"given":"Gary T.","family":"Leavens","sequence":"additional","affiliation":[]},{"given":"Arnd","family":"Poetzsch-Heffter","sequence":"additional","affiliation":[]},{"given":"Erik","family":"Poll","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,11,8]]},"reference":[{"key":"19_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/3-540-44555-2_4","volume-title":"Object-Oriented Technology ECOOP 2002 Workshop Reader","author":"S. Drossopoulou","year":"2000","unstructured":"S. Drossopoulou, S. Eisenbach, B. Jacobs, G. T. Leavens, P. M\u00fcller, and A. Poetzsch-Heffter. Formal techniques for Java programs. In Jacques Malenfant, Sabine Moisan, and Ana Moreira, editors, Object-Oriented Technology. ECOOP 2000 Workshop Reader, volume 1964 of Lecture Notes in Computer Science, pages 41~54. Springer-Verlag, 2000."},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"S. Drossopoulou, S. Eisenbach, G. T. Leavens, A. Poetzsch-Heffter, and E. Poll. Formal techniques for Java-like programs. Technical Report NIII-R0204, University of Nijmegen, 2002. Available from http:\/\/www.cs.kun.nl\/~erikpoll\/ftfjp .","DOI":"10.1007\/3-540-36208-8_19"},{"key":"19_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/3-540-46589-8_6","volume-title":"Object-Oriented Technology ECOOP 2002 Workshop Reader","author":"B. Jacobs","year":"1999","unstructured":"B. Jacobs, G. T. Leavens, P. M\u00fcller, and A. Poetzsch-Heffter. Formal techniques for Java programs. In A. Moreira and D. Demeyer, editors, Object-Oriented Technology. ECOOP\u201999 Workshop Reader, volume 1743 of Lecture Notes in Computer Science, pages 97~115. Springer-Verlag, 1999."},{"key":"19_CR4","series-title":"Lect Notes Comput Sci","first-page":"30","volume-title":"Object-Oriented Technology ECOOP 2002 Workshop Reader","author":"G. T. Leavens","year":"2000","unstructured":"G. T. Leavens, S. Drossopoulou, S. Eisenbach, A. Poetzsch-Heffter, and E. Poll. Formal techniques for Java programs. In A. Frohner, editor, Object-Oriented Technology. ECOOP 2001 Workshop Reader, volume 2323 of Lecture Notes in Computer Science, pages 30~40. Springer-Verlag, 2000."}],"container-title":["Lecture Notes in Computer Science","Object-Oriented Technology ECOOP 2002 Workshop Reader"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36208-8_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T20:24:11Z","timestamp":1556483051000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36208-8_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540002338","9783540362081"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/3-540-36208-8_19","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}