Research on Axiom System and transition Rules of Software Reliability and Safety. - Min-qing Gong; Pei Wang; Lin-bo Fan; Ming Zhao (CSIE (7), 2009)