Sabine Broda

Faculdade de Ciências da Universidade do Porto

.

Projects

Add project

Automata theory is a fundamental part of Computer Science that was intensively studied during the 19

The scope of the present project is the verification of properties of safety-critical software. Our