{pt_PT=Business Process Security Specification Automatica Extraction} DRAFT

Orientação

AUTOR

David Alexandre da Silva Marques (ist174191)

ORIENTADOR

Carlos Nuno da Cruz Ribeiro

Departamento de Engenharia Electrotécnica e de Computadores (DEEC)

Professor Associado

ORIENTADOR

Nelson