共 22 条
[2]
[Anonymous], ARXIV12116322
[3]
Apt K.R., 2007, CONSTRAINT LOGIC PRO
[4]
Brottier E, 2006, ISSRE 2006:17TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING, PROCEEDINGS, P85
[5]
Cabot Jordi, 2008, 2008 IEEE International Conference on Software Testing Verification and Validation Workshop (ICSTW), P73, DOI 10.1109/ICSTW.2008.54
[7]
Gonzalez Carlos A., 2012, Model Driven Engineering Languages and Systems. Proceedings 15th International Conference, MODELS 2012, P449, DOI 10.1007/978-3-642-33666-9_29
[8]
Gonzalez Perez C. A., 2012, FORMAL METHODS SOFTW
[9]
Hemel Z, 2008, LECT NOTES COMPUT SC, V5063, P183, DOI 10.1007/978-3-540-69927-9_13
[10]
Hermann F, 2011, LECT NOTES COMPUT SC, V6981, P668, DOI 10.1007/978-3-642-24485-8_49