SucheVerification of JavaCard Programs
Kurt Stenzel
Verification of JavaCard Programs
2001-05
erschienen 2001
in: Germany
Technical report 2001-5, Institut für Informatik, Universität Augsburg
Downloads:
- download pdf version - (2001-pdf-verific-javacard-programs.pdf, 796 KB)
- download postscript version - (2001-ps-verific-javacard-programs.ps, 338 KB)