{"doi":"1542","year":"2005","date_created":"2018-12-11T12:08:41Z","extern":1,"citation":{"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>","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>.","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>","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.","ista":"Alur R, Cerny P, Madhusudan P, Nam W. 2005. Synthesis of interface specifications for Java classes. POPL: Principles of Programming Languages, 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>.","short":"R. Alur, P. Cerny, P. Madhusudan, W. Nam, in:, ACM, 2005, pp. 98–109."},"status":"public","date_updated":"2021-01-12T07:56:44Z","publist_id":"1053","quality_controlled":0,"conference":{"name":"POPL: Principles of Programming Languages"},"day":"01","month":"01","date_published":"2005-01-01T00:00:00Z","type":"conference","publication_status":"published","title":"Synthesis of interface specifications for Java classes","author":[{"last_name":"Alur","full_name":"Alur, Rajeev","first_name":"Rajeev"},{"first_name":"Pavol","id":"4DCBEFFE-F248-11E8-B48F-1D18A9856A87","last_name":"Cerny","full_name":"Pavol Cerny"},{"full_name":"Madhusudan,P.","last_name":"Madhusudan","first_name":"P."},{"first_name":"Wonhong","last_name":"Nam","full_name":"Nam,Wonhong"}],"_id":"4404","publisher":"ACM","page":"98 - 109"}