PakCat catalogue record

Formal Development of Safe and Secure Java Card Applets

By Mostowski, Wojciech

Bibliographic details

ISBN
9172915757
Publisher
Computer engg Chalmers university;Goteborg
Publication place
Sweden
Publication year
2005
Physical description
151

Subjects

Java Card Applets.