×
2021
Formal Verification of a JavaCard Virtual Machine with Frama-C.
[DOI]
Adel Djoudi
,
Martin Hána
,
Nikolai Kosmatov
Proceedings of the Formal Methods - 24th International Symposium, 2021