S-不变相关硕士博士期刊学术论文

软件形式化开发是大型软件开发的主要手段，能够在软件设计初期最大限度的降低错误率，节省开发时间，便于开发人员间的交流，同时还可以提......