Vyžádat soubor
Reference/citace: KEZNIKL, Jaroslav, BUREŠ, Tomáš, PLÁŠIL, F., GEROSTATHOPOULOS, I., HNĚTYNKA, P., HOCH, N. Design of Ensemble-Based Component Systems by Invariant Refinement. In: CBSE '13 Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering. New York: ACM, 2013, s. 91-100. ISBN 978-1-4503-2122-8.
Vyžádané dokumenty: a0436593.pdf - Vydavatelský postprint
Tento vyžádaný dokument není dostupný v režimu otevřeného přístupu (open access). Prostřednictvím níže dostupného formuláře však můžete požádat autora o kopii dokumentu. Pokud bude Vaše žádost akceptována, dokument obdržíte e-mailem.