流课件论文

论文摘要当今世界已迈入信息化时代，各行各业都急需熟练掌握计算机程序设计的技术人员。江西师范大学薛锦云教授领衔的软件形式化和自动化课题组，为显著提高软件的可靠性和开发效率，历时十...