共 50 条
- [34] Program development and verification based on rewriting techniques Ruan Jian Xue Bao/Journal of Software, 2000, 11 (08): : 1066 - 1070
- [35] Moment-curvature analysis of RC columns under varying axial force considering buckling of longitudinal bars and concrete confinement from footing Journal of Structural and Construction Engineering, 2019, 84 (763): : 1271 - 1279
- [37] Verification of program dynamic behaviours based on static analysis 2008 CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING, VOLS 1-4, 2008, : 210 - 213
- [38] Program Analysis and Verification based on the Construction and Checking of Automata ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (102): : 2 - 2
- [39] Program Analysis and Verification Based on Kleene Algebra in Isabelle/HOL INTERACTIVE THEOREM PROVING, ITP 2013, 2013, 7998 : 197 - 212
- [40] Accuracy verification and efficiency analysis of parallel program based on MPI Hangkong Dongli Xuebao/Journal of Aerospace Power, 2007, 22 (12): : 2043 - 2049