Results (1)

  • Synthesis of interface specifications for Java classes
    Conference paper