{"publisher":"ACM","page":"98 - 109","citation":{"ama":"Alur R, Cerny P, Madhusudan P, Nam W. Synthesis of interface specifications for Java classes. In: ACM; 2005:98-109. doi:<a href=\"https://doi.org/1542\">1542</a>","chicago":"Alur, Rajeev, Pavol Cerny, P. Madhusudan, and Wonhong Nam. “Synthesis of Interface Specifications for Java Classes,” 98–109. ACM, 2005. <a href=\"https://doi.org/1542\">https://doi.org/1542</a>.","ista":"Alur R, Cerny P, Madhusudan P, Nam W. 2005. Synthesis of interface specifications for Java classes. POPL: Principles of Programming Languages, 98–109.","apa":"Alur, R., Cerny, P., Madhusudan, P., &#38; Nam, W. (2005). Synthesis of interface specifications for Java classes (pp. 98–109). Presented at the POPL: Principles of Programming Languages, ACM. <a href=\"https://doi.org/1542\">https://doi.org/1542</a>","ieee":"R. Alur, P. Cerny, P. Madhusudan, and W. Nam, “Synthesis of interface specifications for Java classes,” presented at the POPL: Principles of Programming Languages, 2005, pp. 98–109.","short":"R. Alur, P. Cerny, P. Madhusudan, W. Nam, in:, ACM, 2005, pp. 98–109.","mla":"Alur, Rajeev, et al. <i>Synthesis of Interface Specifications for Java Classes</i>. ACM, 2005, pp. 98–109, doi:<a href=\"https://doi.org/1542\">1542</a>."},"publist_id":"1053","publication_status":"published","day":"01","extern":1,"year":"2005","title":"Synthesis of interface specifications for Java classes","_id":"4404","month":"01","date_published":"2005-01-01T00:00:00Z","conference":{"name":"POPL: Principles of Programming Languages"},"doi":"1542","date_updated":"2021-01-12T07:56:44Z","author":[{"last_name":"Alur","full_name":"Alur, Rajeev","first_name":"Rajeev"},{"first_name":"Pavol","id":"4DCBEFFE-F248-11E8-B48F-1D18A9856A87","full_name":"Pavol Cerny","last_name":"Cerny"},{"full_name":"Madhusudan,P.","first_name":"P.","last_name":"Madhusudan"},{"last_name":"Nam","full_name":"Nam,Wonhong","first_name":"Wonhong"}],"date_created":"2018-12-11T12:08:41Z","status":"public","quality_controlled":0,"type":"conference"}