Bence Czipó

According to our database, Bence Czipó authored at least 1 paper in 2017.

Collaborative distances:

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

2017

Exploiting Hierarchy in the Abstraction-Based Verification of Statecharts Using SMT Solvers.

Bence Czipó, Ákos Hajdu, Tamás Tóth, István Majzik

Proceedings of the Proceedings International Workshop on Formal Engineering approaches to Software Components and Architectures, 2017