Used together with:
specif
(1)
esc
(1)
purs
(1)
formal
(1)
electron
(1)
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.
Bibliography of Software Language Engineering in Generated Hypertext
(
BibSLEIGH
) is created and maintained by
Dr. Vadim Zaytsev
.
Hosted as a part of
SLEBOK
on
GitHub
.