CardS4: modal theorem proving on Java smart cards
Date
2002
Authors
Gore, Rajeev
Nguyen, Phuong
Journal Title
Journal ISSN
Volume Title
Publisher
National Institute of Telecommunications
Abstract
Description
Keywords
Citation
Collections
Source
Journal of Telecommunications and Information Technology
Type
Journal article