• Formal Techniques for Java-Lik...

*Result*: Formal Techniques for Java-Like Programs

Title:
Formal Techniques for Java-Like Programs
Object-oriented technology: Ecoop 2007 workshop reader
Authors:
Boyland, J., Clarke, D., Leavens, G., Logozzo, F., Poetzsch-Heffter, A.
Source:
LECTURE NOTES IN COMPUTER SCIENCE. (4906):99-107
Availability:
http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN067831456&indx=1&recIds=ETOCCN067831456
Database:
British Library Document Supply Centre Inside Serials & Conference Proceedings