Min-qing Gong, Pei Wang, Lin-bo Fan, Ming Zhao. Research on Axiom System and transition Rules of Software Reliability and Safety. In Mark Burgin, Masud H. Chowdhury, Chan H. Ham, Simone A. Ludwig, Weilian Su, Sumanth Yenduri, editors, CSIE 2009, 2009 WRI World Congress on Computer Science and Information Engineering, March 31 - April 2, 2009, Los Angeles, California, USA, 7 Volumes. pages 427-431, IEEE Computer Society, 2009. [doi]
Abstract is missing.