Sciweavers

23988 search results - page 503 / 4798
» Social Network Computing
Sort
View
DSN
2002
IEEE
15 years 12 months ago
Formal Development of an Embedded Verifier for Java Card Byte Code
Ludovic Casset, Lilian Burdy, Antoine Requet