• Formal Techniques for Java-Lik...

*Result*: Formal Techniques for Java-Like Programs

Title:
Formal Techniques for Java-Like Programs
Object-oriented technology; Object-oriented technology
Authors:
Albert, E., Banerjee, A., Drossopoulou, S., Huisman, M., Igarashi, A., Leavens, G.T., Muller, P., Wrigstad, T.
Source:
LECTURE NOTES IN COMPUTER SCIENCE. (5475):70-76
Availability:
http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN072475328&indx=1&recIds=ETOCCN072475328
Database:
British Library Document Supply Centre Inside Serials & Conference Proceedings