Tomas Matousek

According to our database, Tomas Matousek authored at least 2 papers in 2007.

Collaborative distances:

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

2007

DeSpec: Modeling the Windows Driver Environment.

Tomas Matousek, Pavel Jezek

Proceedings of the Formal Foundations of Embedded Software and Component-Based Software Architectures, 2007

Extracting Zing Models from C Source Code.

Tomas Matousek, Filip Zavoral

Proceedings of the SOFSEM 2007: Theory and Practice of Computer Science, 2007