Not registered as user yet

Name:Daniele Nantes-Sobrinho
Affiliation:University of Brasília, Brazil

Contributions

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