Sabine Broda

Faculdade de Ciências da Universidade do Porto

.

Projects

Add project

Automata theory is a fundamental part of Computer Science that was…

The scope of the present project is the verification of properties of…