Product
Help
Pricing
About
Jobs
Log in
Get started
Work
Add to collection
Smart Tools for Java Cards
HTML
PDF
Details
Locations
Year:
2000
Type:
book-chapter
Source:
Springer eBooks
DOI:
10.1007/978-0-387-35528-3_9
Authors:
Isabelle Attali,
Denis Caromel,
Carine Courbis,
Ludovic Henrio,
Henrik Nilsson
Institutions:
Centre National de la Recherche Scientifique,
Institut national de recherche en sciences et technologies du numérique
Language:
English
Topic:
Logic, programming, and type systems
Subfield:
Software
Field:
Computer Science
Domain:
Physical Sciences
Open Access status:
bronze
Funder:
Wenner-Gren Stiftelserna
OpenAlex ID:
W1985741537
FWCI:
3.476
Cites:
3
Cited by:
6
Related to:
10