Barnabas Arvay

According to our database, Barnabas Arvay authored at least 1 paper in 2024.

Collaborative distances:

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

2024

A Dynamic Logic for Symbolic Execution for the Smart Contract Programming Language Michelson.

Barnabas Arvay, Thi Thu Ha Doan, Peter Thiemann

Proceedings of the 38th European Conference on Object-Oriented Programming, 2024