Formal development of an embedded verifier for Java Card byte code (2002)

by L Casset, L Burdy, A Requet
Venue:In In the IEEE International Conference on Dependable Systems & Networks