• Synthesis of Interface Specifi...

*Result*: Synthesis of Interface Specifications for Java Classes

Title:
Synthesis of Interface Specifications for Java Classes
POPL 2005: the 32nd ACM SIGPLAN-SIGACT symposium on principles of programming languages
Authors:
Alur, R., Cerny, P., Madhusudan, P., Nam, W.
Source:
ACM SIGPLAN NOTICES. 40(1):98-109
Availability:
http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN054360226&indx=1&recIds=ETOCCN054360226
Database:
British Library Document Supply Centre Inside Serials & Conference Proceedings