Adenilso Simao profile picture

Adenilso Simao

Is this your author profile? Create an account to customize it!

Stand Alone

Formal Methods Foundations And Applications 14th Brazilian Symposium On Formal Methods Sbmf 2011 So Paulo September 2630 2011 Revised Selected Papers
Theoretical Aspects of Computing – ICTAC 2020
Theoretical Aspects of Computing – ICTAC 2020 17th International Colloquium, Macau, China, November 30 – December 4, 2020, Proceedings