A Strategy to Improve the Reliability of Object-Oriented Formal Models.

Guo Xie, Fucai Qian, Xinhong Hei

Browse the full CIS paper archive.