CardS4: modal theorem proving on Java smart cards

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	68-80
Journal	Journal of Telecommunications and Information Technology
Volume	Apr-02
Publication status	Published - 2002

Cite this

@article{7a30d2a06ce043f79ddccea1185dee9c,

title = "CardS4: modal theorem proving on Java smart cards",

author = "Rajeev Gore and Phuong Nguyen",

year = "2002",

language = "English",

volume = "Apr-02",

pages = "68--80",

journal = "Journal of Telecommunications and Information Technology",

publisher = "National Institute of Telecommunications",

}