• Formal Techniques for Java-Lik...

*Result*: Formal Techniques for Java-Like Programs

Title:
Formal Techniques for Java-Like Programs
Object-oriented programming: ECOOP 2003 workshop reader
Authors:
Eisenbach, S., Leavens, G. T., Muller, P., Poetzsch-Heffter, A., Poll, E.
Source:
LECTURE NOTES IN COMPUTER SCIENCE. :62-71
Availability:
http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN052866878&indx=1&recIds=ETOCCN052866878
Database:
British Library Document Supply Centre Inside Serials & Conference Proceedings