José N. Oliveira

Identifiers

Open LibraryOL7970690A

Books by José N. Oliveira

Total count: 2

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

Springer2019-09-15
Formal Methods. FM 2019 International WorkshopsPorto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I

Springer International Publishing AG2020-01-01