Author:Sosuke Moriguchi

Publications
Towards Verified Construction for Planar Class of a Qualitative Spatial Representation Sosuke Moriguchi, Mizuki Goto and Kazuko Takahashi In:SCSS 2016. 7th International Symposium on Symbolic Computation in Software Science