Dr. Barbora Bühnová
This is the alumni page of Barbora Bühnová. It is online for archiving reasons. The information on this page may thus be outdated; please refer to the current webpage of the person for details.
I am concerned with formal analysis of component-based systems in view of interactions among components.