Formal development of an embedded verifier for Java Card byte code | IEEE Conference Publication | IEEE Xplore