Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2013

  1. BARNAT, Jiří, Nikola BENEŠ, Ivana ČERNÁ a Zuzana PETRUCHOVÁ. DCCL: Verification of Component Systems with Ensembles. In CBSE '13 Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering. New York, NY, USA: ACM, 2013. s. 43-52. ISBN 978-1-4503-2122-8. doi:10.1145/2465449.2465453.
Zobrazit podrobně
Zobrazeno: 27. 1. 2023 05:53