下列不属于检验程序方法的是哪一个?( )(2.0分)
2.0 分

A、
正确性验证
B、
动态检查
C、
静态检查
D、
人工复核
出自:郑州航空工业管理学院-管理信息系统