CardS4: modal theorem proving on Java smart cards
Loading...
Date
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