Marcel Vinícius Medeiros Oliveira

• Formal Methods : Foundations and Applications
• Formal Methods: Foundations and Applications