CARDS4: Modal Theorem Proving on Java Smartcards

Rajeev Gore, Phuong Nguyen

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

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

Cite this

@inbook{cbda6c4008584a04a38df21dfb9b55ca,

title = "CARDS4: Modal Theorem Proving on Java Smartcards",

author = "Rajeev Gore and Phuong Nguyen",

year = "2001",

language = "English",

isbn = "3540426108",

volume = "1",

pages = "111--124",

editor = "\{Isabelle Attali Thomas Jensen\}",

booktitle = "Smart Card Programming and Security",

publisher = "Springer",

address = "Germany",

edition = "2nd",

}