Skip navigation
The Australian National University

CARDS4: Modal Theorem Proving on Java Smartcards

Citation

Gore, R & Nguyen, P 2001, 'CARDS4: Modal Theorem Proving on Java Smartcards', in Isabelle Attali Thomas Jensen (ed.), Smart Card Programming and Security, Springer, Germany, pp. 111-124.

Year

2001

ANU Authors

Field of Research

  • Analysis Of Algorithms And Complexity

Updated:  19 September 2017 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers