共 21 条
[1]
[Anonymous], 2009, FORMAL TECHNIQUES DI, P122
[2]
Bozga M., 2002, Computer Aided Verification. 14th International Conference, CAV 2002. Proceedings (Lecture Notes in Computer Science Vol.2404), P343
[3]
Bozga M, 2004, LECT NOTES COMPUT SC, V3185, P237
[4]
Builder G. S., 2018, GITHUP WEB SELENIUM
[5]
Christine Paras T. N., 2018, AUTOMATE ORACLE ERP
[6]
Downing D., 2006, 2006 WHITE PAPER MEN
[7]
FANG J, 2016, INT J MANAGEMENT THE, V17, DOI DOI 10.1186/S10194-016-0592-2
[8]
Methods and tools for ERP implementations
[J].
TAIC PART 2007 - Testing: Academic and Industrial Conference - Practice and Research Techniques, Proceedings: CO-LOCATED WITH MUTATION 2007,
2007,
:40-43
[10]
Holmes A., 2006, AGILE 2006 AGILE 06, P6