Incremental development of large, secure smart card applications.

Nina Moebius, Kurt Stenzel, Marian Borek, Wolfgang Reif

Browse the full MODELS paper archive.