Cover Image
Read Now

1
Published 2019
Springer International Publishing
“..., held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019...”