Stem gemplus$ (all stems)
1 papers:
FME-2002-CatanoH #java #specification #static analysis #using- Formal Specification and Static Checking of Gemplus’ Electronic Purse Using ESC/Java (NC, MH), pp. 272–289.
FME-2002-CatanoH #java #specification #static analysis #using