共 49 条
[2]
[Anonymous], INTERPROC ANAL
[5]
Beyer Dirk, 2008, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering, P29, DOI 10.1109/ASE.2008.13
[6]
Beyer D, 2013, LECT NOTES COMPUT SC, V7795, P594
[7]
Bishop C. M., 2006, PATTERN RECOGN
[8]
Bjorner N, 2013, LECT NOTES COMPUT SC, V7935, P105