José N. Oliveira — Books & Biography | Menrva Books | MenrvaBooks

José N. Oliveira

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

Stand Alone

Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

Formal Methods – The Next 30 Years

Company

Why Menrva Books

Help & Support

Legal & Privacy

© 2026 Menrva Books

All Rights Reserved.