Kim Yong Chun, Dang Van Hung. Specification and Verification of Spatial Data Types with B-Toolkit. In 26th International Computer Software and Applications Conference (COMPSAC 2002), Prolonging Software Life: Development and Redevelopment, 26-29 August 2002, Oxford, England, Proceedings. pages 711-716, IEEE Computer Society, 2002. [doi]
Abstract is missing.