Matej Kosík

According to our database¹, Matej Kosík authored at least 2 papers between 2008 and 2011.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2011

A Contribution to Techniques for Building Dependable Software Systems.

[BibT_eX]

[DOI]

Proceedings of the Second Eastern European Regional Conference on the Engineering of Computer Based Systems, 2011

2008

Taming of Pict.

[BibT_eX]

[DOI]

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