skip to main content

Language:

A Formal Executable Semantics of the JavaCard Platform

Barthe, Gilles ; Dufay, Guillaume ; Jakubiec, Line ; Serpette, Bernard ; de Sousa, Simão Melo

Lecture notes in computer science, 2001, Vol.2028, p.302-319 [Peer Reviewed Journal]

Germany: Springer Berlin / Heidelberg

Full text available

Citations Cited by

Open source in a new window

Actions
1. Add to e-Shelf
2. Remove from e-Shelf
3. E-mail
4. Print
5. Permalink
6. Citation
7. EasyBib
8. EndNote
9. RefWorks
10. Delicious
11. Export RIS
12. Export BibTeX

Back to results list

Go to Previous page

Previous Result 9

Implemented by: Social Network Logos:

Searching Remote Databases, Please Wait

Searching for
inscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
Show me what you have so far