共 52 条
[1]
[Anonymous], 1981, SCI PROGRAMMING, DOI DOI 10.1007/978-1-4612-5983-1
[2]
APT KR, 1997, VERIFICATION VALIDAT
[4]
Barnes J., 2000, Ada Letters, V20, P69
[5]
BJORNER NS, 1996, LNCS, V1102, P415
[6]
BOEHM BW, 1988, COMPUTER, V21, P61, DOI 10.1145/12944.12948
[7]
BOURQUE P, 2004, SWEBOK GUIDE SOFTWAR
[8]
BOWEN J, 2006, IEEE COMPUT, V29, P40
[9]
Boyer R. S., 1988, A Computational Logic Handbook
[10]
Bozga M, 1998, LECT NOTES COMPUT SC, V1427, P546, DOI 10.1007/BFb0028779