PAR: A Practicable Formal Method and Its Supporting Platform.

Jinyun Xue, Yujun Zheng, Qimin Hu, Zhen You, Wuping Xie, Zhuo Cheng

Browse the full ICFEM paper archive.