{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:54:53Z","timestamp":1725512093277},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540717720"},{"type":"electronic","value":"9783540717744"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-71774-4_6","type":"book-chapter","created":{"date-parts":[[2007,6,27]],"date-time":"2007-06-27T09:24:49Z","timestamp":1182936289000},"page":"53-58","source":"Crossref","is-referenced-by-count":0,"title":["Formal Techniques for Java-Like Programs"],"prefix":"10.1007","author":[{"given":"Davide","family":"Ancona","sequence":"first","affiliation":[]},{"given":"Sophia","family":"Drossopoulou","sequence":"additional","affiliation":[]},{"given":"Atsushi","family":"Igarashi","sequence":"additional","affiliation":[]},{"given":"Gary T.","family":"Leavens","sequence":"additional","affiliation":[]},{"given":"Arnd","family":"Poetzsch-Heffter","sequence":"additional","affiliation":[]},{"given":"Elena","family":"Zucca","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1007\/978-3-540-30554-5_8","volume-title":"Object-Oriented Technology. ECOOP 2004 Workshop Reader","author":"A. Coglio","year":"2005","unstructured":"Coglio, A., et al.: Formal techniques for Java-like programs. In: Malenfant, J., \u00d8stvold, B.M. (eds.) ECOOP 2004. LNCS, vol.\u00a03344, pp. 76\u201383. Springer, Heidelberg (2005)"},{"key":"6_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1007\/978-3-540-25934-3_7","volume-title":"Object-Oriented Technology. ECOOP 2003 Workshop Reader","author":"S. Eisenbach","year":"2004","unstructured":"Eisenbach, S., et al.: Formal techniques for Java-like programs. In: Buschmann, F., Buchmann, A.P., Cilia, M.A. (eds.) Object-Oriented Technology. ECOOP 2003 Workshop Reader. LNCS, vol.\u00a03013, pp. 62\u201371. Springer, Heidelberg (2004)"},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science","first-page":"203","volume-title":"Object-Oriented Technology. ECOOP 2002 Workshop Reader","author":"G.T. Leavens","year":"2002","unstructured":"Leavens, G.T., et al.: Formal techniques for Java-like programs. In: Hern\u00e1ndez, J., Moreira, A. (eds.) Object-Oriented Technology. ECOOP 2002 Workshop Reader. LNCS, vol.\u00a02548, pp. 203\u2013210. Springer, Heidelberg (2002)"},{"key":"6_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1007\/3-540-47853-1_3","volume-title":"Object-Oriented Technology. ECOOP 2001 Workshop Reader","author":"G.T. Leavens","year":"2002","unstructured":"Leavens, G.T., et al.: Formal techniques for Java programs. In: Frohner, A. (ed.) Object-Oriented Technology. ECOOP 2001 Workshop Reader. LNCS, vol.\u00a02323, pp. 30\u201340. Springer, Heidelberg (2002)"},{"key":"6_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/3-540-44555-2_4","volume-title":"Object-Oriented Technology: ECOOP 2000 Workshop Reader","author":"S. Drossopoulou","year":"2000","unstructured":"Drossopoulou, S., et al.: Formal techniques for Java programs. In: Malenfant, J., Moisan, S., Moreira, A.M.D. (eds.) Object-Oriented Technology: ECOOP 2000 Workshop Reader. LNCS, vol.\u00a01964, pp. 41\u201354. Springer, Heidelberg (2000)"},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/3-540-46589-8_6","volume-title":"Object-Oriented Technology. ECOOP\u201999 Workshop Reader","author":"B. Jacobs","year":"1999","unstructured":"Jacobs, B., et al.: Formal techniques for Java programs. In: Moreira, A.M.D., Demeyer, S. (eds.) Object-Oriented Technology. ECOOP\u201999 Workshop Reader. LNCS, vol.\u00a01743, pp. 97\u2013115. Springer, Heidelberg (1999)"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Eisenbach, S.: Formal underpinnings of Java. Workshop report (1998), Available from http:\/\/www-dse.doc.ic.ac.uk\/~sue\/oopsla\/cfp.html","DOI":"10.1145\/346852.346968"}],"container-title":["Lecture Notes in Computer Science","Object-Oriented Technology. ECOOP 2006 Workshop Reader"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71774-4_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:26:04Z","timestamp":1605763564000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71774-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540717720","9783540717744"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71774-4_6","relation":{},"subject":[]}}