Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink. Innovating Medical Image Analysis via Spatial Logics. In Maurice H. ter Beek, Alessandro Fantechi, Laura Semini, editors, From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday. Volume 11865 of Lecture Notes in Computer Science, pages 85-109, Springer, 2019. [doi]
Abstract is missing.