Searching for "Synthesis of interface specifications for Java classes." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Synthesis of interface specifications for Java classes
by Rajeev Alur, P. Madhusudan, Wonhong Nam — 2005 — In POPL
…Synthesis of Interface Specifications for Java Classes ABSTRACT Rajeev Alur Pavol Čern´y P…
Cited by 53 (2 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB