Zuzana Petruchová

2013

Jiří Barnat, Nikola Beneš, Ivana Černá, and Zuzana Petruchová:
DCCL: Verification of Component Systems with Ensembles,
Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering, ACM, 2013, 43–52. [bibtex, url]