CardS4: modal theorem proving on Java smart cards

Rajeev Gore, Phuong Nguyen

    Research output: Contribution to journalArticlepeer-review

    Original languageEnglish
    Pages (from-to)68-80
    JournalJournal of Telecommunications and Information Technology
    VolumeApr-02
    Publication statusPublished - 2002

    Cite this