|
|||||
|
|
Probabilistic model of software approximate correctness |
|
| Authors: | Yanfang Ma Liang Chen |
| Institution: | 1. School of Computer Science and Technology, Huaibei Normal University, Huaibei, 235000, Anhui, China 2. School of Mathematic Science, Huaibei Normal University, Huaibei, 235000, Anhui, China |
| Abstract: | |
| Keywords: | |
| 本文献已被 CNKI 万方数据 SpringerLink 等数据库收录！ | |