Not registered as user yet

Name: Daniele Nantes-Sobrinho

Affiliation: University of Brasília, Brazil

Contributions

BEAT 2019Author of Relating Process Languages for Security and Communication Correctness within the BEAT 2019-track