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...”
Cover Image
Read Now

2
Published 2019
Springer International Publishing
“... on October 8, 2019 one-day colloquium held in Porto, Portugal, The Festschrift consists of eight sections...”