Vincenzo Del Fatto, Vincenzo Deufemia, Luca Paolino, Sara Tumiati. WiSPY: A Tool for Visual Specification and Verification of Spatial Integrity Constraints. In Angela Guercio, editor, The 21st International Conference on Distributed Multimedia Systems, Vancouver, Canada, August 31 - September 2, 2015. pages 39-48, Knowledge Systems Institute, 2015. [doi]
Abstract is missing.