1
Published 2018
Springer International Publishing
... Methods, FM 2018, held in Oxford, UK, in July 2018. The 44 full papers presented together with 2 invited...