| Original language | English |
|---|---|
| Title of host publication | Smart Card Programming and Security |
| Editors | Isabelle Attali Thomas Jensen |
| Place of Publication | Germany |
| Publisher | Springer |
| Pages | 111-124 |
| Volume | 1 |
| Edition | 2nd |
| ISBN (Print) | 3540426108 |
| Publication status | Published - 2001 |
CARDS4: Modal Theorem Proving on Java Smartcards
Rajeev Gore, Phuong Nguyen
Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review