Treffer: Formal development of an embedded verifier for Java Card byte code
Title:
Formal development of an embedded verifier for Java Card byte code
Authors:
Source:
Proceedings International Conference on Dependable Systems and Networks Dependable systems and networks Dependable Systems and Networks, 2002. DSN 2002. Proceedings. International Conference on. :51-56 2002
Relation:
Proceedings International Conference on Dependable Systems and Networks
Database:
IEEE Xplore Digital Library