• JCML: A specification language...

*Result*: JCML: A specification language for the runtime verification of Java Card programs

Title:
JCML: A specification language for the runtime verification of Java Card programs
Authors:
da Costa, U. S., Moreira, A. M., Musicante, M. A., Souza Neto, P. A.
Source:
SCIENCE OF COMPUTER PROGRAMMING. 77(4):533-550
Availability:
http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCRN307032349&indx=1&recIds=ETOCRN307032349
Database:
British Library Document Supply Centre Inside Serials & Conference Proceedings