Formal Development of an Embedded Verifier for Java Card Byte Code (2002)

by Ludovic Casset , Lilian Burdy , Antoine Requet
Venue:In the IEEE International Conference on Dependable Systems & Networks
Citations:22 - 3 self