👤

José N. Oliveira

2 books

Books by José N. Oliveira

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