Return to search

Verification of Java card programs

Augsburg, Univ., Diss., 2005.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/76774068
Date January 2005
CreatorsStenzel, Kurt.
Publisher[S.l.] : [s.n.],
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish
SourceLF

Page generated in 0.0014 seconds