Sciweavers

CADE
2007
Springer

Fully Verified Java Card API Reference Implementation

15 years 22 days 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)