Product
Help
Pricing
About
Jobs
Log in
Get started
Work
Add to collection
Smart tools for Java Card
HTML
Details
Locations
Year:
2000
Type:
article
Authors:
Isabelle Attali,
Denis Caromel,
Carine Courbis,
Ludovic Henrio,
H. Nilsson
Language:
English
Topic:
Logic, programming, and type systems
Subfield:
Software
Field:
Computer Science
Domain:
Physical Sciences
Open Access status:
closed
OpenAlex ID:
W2733089611
FWCI:
1.258
Cites:
Cited by:
2
Related to:
10