Fei Tang, Jing Liu, Tingliang Zhou, Junfeng Sun, Haiying Sun. Spatial Alloy: An Alloy Extension for Modeling Spatial Properties. In 2016 IEEE International Conference on Computer and Information Technology, CIT 2016, Nadi, Fiji, December 8-10, 2016. pages 42-49, IEEE, 2016. [doi]
Abstract is missing.