• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Spatial Alloy: An Alloy Extension for Modeling Spatial Properties.

Fei TangJing LiuTingliang ZhouJunfeng SunHaiying Sun
Published in: CIT (2016)
Keyphrases