Proceedings of the 6th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA'09)

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Název česky	Sborník 6. mezinárodního workshopu Formal Engineering approaches to Software Components and Architectures (FESCA'09)
Autoři	HAPPE Jens ZIMMEROVÁ Barbora
Rok publikování	2009
Druh	Editorství tématického sborníku
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Popis	Sborník obsahuje přijaté články (editované představiteli programového výboru Jensem Happe a Barborou Zimmerovou) workshopu FESCA 2009, konaného 28.3.2009 v Yorku, Velké Británii, jako přidružená akce konference ETAPS.
Související projekty:	Realistická aplikace formálních metod v komponentových systémech