Specifying and Verifying Cases Retrieval System Combining Event B and Spin
['Hong-Jiang Gao', 'Qin Zheng', 'Liping Shao', 'Xing-Chen Heng']
Specifying and Verifying Cases Retrieval System Combining Event B and Spin