Sciweavers

Share
CADE
2007
Springer

Fully Verified Java Card API Reference Implementation

10 years 6 months ago
Fully Verified Java Card API Reference Implementation
Wojciech Mostowski
Added 03 Dec 2009
Updated 03 Dec 2009
Type Conference
Year 2007
Where CADE
Authors Wojciech Mostowski
Comments (0)
books