MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Specifying and Verifying a Decimal Representation in Java for Smart Cards." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

ATOM

Specifying and Verifying a Decimal Representation in Java for Smart Cards
by Cees-Bart Breunesse, Bart Jacobs, Joachim van den Berg — 2002 — Algebraic Methodology and Software Technology, number 2422 in Lect. Notes Comp. Sci
…Specifying and Verifying a Decimal Representation in Java for Smart Cards ? Cees-Bart Breunesse…
Cited by 15 (4 self) – Add To MetaCart

ESC/Java2: Uniting ESC/Java and JML - Progress and issues in building and using ESC/Java2
by David R. Cok, Joseph R. Kiniry — 2004 — In Construction and Analysis of Safe, Secure and Interoperable Smart Devices: International Workshop, CASSIS 2004
….-B. Breunesse, B. Jacobs. Specifying and verifying a decimal representation in Java for smart cards. In C. R. H…
Cited by 36 (6 self) – Add To MetaCart

Showing 1 through 2.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB