Synthesis of interface specifications for Java classes

Rajeev Alur, P. Madhusudan, Pavol Černy, Wonhong Nam

Research output: Contribution to journal › Conference article › peer-review

Fingerprint

Dive into the research topics of 'Synthesis of interface specifications for Java classes'. Together they form a unique fingerprint.

Computer Science

Keyphrases