Formalizing the safety of java, the java virtual machine, and java card
From Semantic Portal Wiki
{{#vardefine:category|Publication}}{{#vardefine:templatename|i.publication}}{{#vardefine:package|smwbp_instance_templates}}
| Edit |
Reference: {{#vardefine:pagename|formalizing the safety of java, the java virtual machine, and java card }}
- [[]]
bibtex
{{#vardefine:pagename|Formalizing the safety of java, the java virtual machine, and java card }}{{#vardefine:key| }}
abstract:
download:
- paper:
- slides:
Facts about Formalizing the safety of java, the java virtual machine, and java cardRDF feed
| Author | Pieter H. Hartel +, and Luc Moreau + |
| Bibtype | article + |
| Doi | http://doi.acm.org/10.1145/503112.503115 + |
| Journal | ACM Comput. Surv. + |
| Key | dblp:journals/csur/hartelm01 + |
| Number | 4 + |
| Pages | 517-558 + |
| Source | http://dblp.uni-trier.de/rec/bibtex/journals/csur/HartelM01 + |
| Tag | Computer science + |
| Title | Formalizing the safety of Java, the Java virtual machine, and Java card + |
| Volume | 33 + |
| Year | 2001 + |
