WiSPY: A Tool for Visual Specification and Verification of Spatial Integrity Constraints

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]

@inproceedings{FattoDPT15,
  title = {WiSPY: A Tool for Visual Specification and Verification of Spatial Integrity Constraints},
  author = {Vincenzo Del Fatto and Vincenzo Deufemia and Luca Paolino and Sara Tumiati},
  year = {2015},
  doi = {10.18293/VLSS2015-018},
  url = {http://dx.doi.org/10.18293/VLSS2015-018},
  researchr = {https://researchr.org/publication/FattoDPT15},
  cites = {0},
  citedby = {0},
  pages = {39-48},
  booktitle = {The 21st International Conference on Distributed Multimedia Systems, Vancouver, Canada, August 31 - September 2, 2015},
  editor = {Angela Guercio},
  publisher = {Knowledge Systems Institute},
  isbn = {1-891706-38-1},
}