Tomas Matousek

Publication Activity (10 Years)

Years Active: 2007-2009
Publications (10 Years): 0

Publications

Tomas Matousek, Pavel Jezek
DeSpec: Modeling the Windows Driver Environment. Electron. Notes Theor. Comput. Sci. 203 (7) (2009)
Tomas Matousek, Filip Zavoral
Extracting Zing Models from C Source Code. SOFSEM (1) (2007)