Pavelína Vařeková


Pavelína Vařeková and Barbora Zimmerová:
Challenge Problem: Subject-Observer Specification with Component-Interaction Automata,
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, 2007, 75–81. [bibtex]