Specification and Verification of Spatial Data Types with B-Toolkit.

Kim Yong Chun, Dang Van Hung

Browse the full COMPSAC paper archive.