Proving Total Correctness of Refinement Based on Tableau.

Xiaolei Gao, Huaikou Miao

Browse the full ISPA paper archive.