| |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 3 |       | René Rydhof Hansen, Igor Siveroni: Towards Verification of Well-Formed Transactions in Java Card Bytecode. Electr. Notes Theor. Comput. Sci. 141(1): 145-162 (2005) |
Selection of 1 from 7 records - Igor Siveroni has 7 coauthors
Copyright © 2009-11-28 by Michael Ley (ley@uni-trier.de)