• Simple verification technique...

*Result*: Simple verification technique for complex Java bytecode subroutines

Title:
Simple verification technique for complex Java bytecode subroutines
Formal techniques for Java-like programs; FTfJP 2002
Authors:
Coglio, A.
Source:
CONCURRENCY AND COMPUTATION. 16(7):647-670
Availability:
http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN052028836&indx=1&recIds=ETOCCN052028836
Database:
British Library Document Supply Centre Inside Serials & Conference Proceedings