Tudor Christian Balan

According to our database, Tudor Christian Balan authored at least 1 paper in 2026.

Collaborative distances:

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

2026

Deductive Verification of SmartML Smart Contracts with KeY.

Tudor Christian Balan, Wolfram Pfeifer, Adele Veschetti

Proceedings of the 7th International Workshop on Formal Methods for Blockchains, 2026