Original language | English |
---|---|
Pages (from-to) | 68-80 |
Journal | Journal of Telecommunications and Information Technology |
Volume | Apr-02 |
Publication status | Published - 2002 |
CardS4: modal theorem proving on Java smart cards
Rajeev Gore, Phuong Nguyen
Research output: Contribution to journal › Article › peer-review