Tadeás Kucera

According to our database, Tadeás Kucera authored at least 1 paper in 2017.

Collaborative distances:

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

2017

Model Checking of C and C++ with DIVINE 4.

Zuzana Baranová, Jiri Barnat, Katarína Kejstová, Tadeás Kucera, Henrich Lauko, Jan Mrázek, Petr Rockai, Vladimír Still

Proceedings of the Automated Technology for Verification and Analysis, 2017