• The Safety-Critical Java Memor...

*Result*: The Safety-Critical Java Memory Model: A Formal Account

Title:
The Safety-Critical Java Memory Model: A Formal Account
International symposium of formal methods
Authors:
Cavalcanti, A., Wellings, A., Woodcock, J.
Source:
LECTURE NOTES IN COMPUTER SCIENCE. (6664):246-261
Availability:
http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN079501345&indx=1&recIds=ETOCCN079501345
Database:
British Library Document Supply Centre Inside Serials & Conference Proceedings