Vice-dean for external relations and cooperation with partners, Faculty of Informatics
Office: A304
Botanická 554/68a
602 00 Brno
| Phone: | +420 549 49 4494 |
|---|---|
| E‑mail: |
|
| social and academic networks: |
|---|
Total number of publications: 170
Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, year: 2007
MEMICS proceedings, year: 2007
Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, year: 2007
Proceedings of the 2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'06), year: 2006
Pre-proceedings of the International Workshop on Formal Aspects of Component Software (FACS'06), year: 2006
Software engineering notes : an informal newsletter of the Special Interest Committee on Software Engineering, year: 2006, volume: 31, edition: 2
Year: 2006, type: R&D Presentation
Proceedings of the International Research Training Groups Workshop 2006, year: 2006
Proceedings of SAVCBS 2005, year: 2005
IFM 2005 Doctoral Symposium on Integrated Formal Methods, year: 2005