José N. Oliveira

• Formal Methods – The Next 30 Years
• Formal Methods. FM 2019 International Workshops