Martin Hána

According to our database, Martin Hána authored at least 1 paper in 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2021

Formal Verification of a JavaCard Virtual Machine with Frama-C.

Adel Djoudi, Martin Hána, Nikolai Kosmatov

Proceedings of the Formal Methods - 24th International Symposium, 2021